A declarative mapping library to simplify testable object mappings.
- mapper-instance
- transform-functions
- remap
Repository Index
88,573 visible repositories in the index
33,985–34,008 of 42,076 · Most stars
Nice parsers in OCaml without the boilerplate
- ocaml
- menhir
- boilerplate
- parsing
Flake8 plugin for managing type-checking imports & forward references.
- flake8-plugin
- flake8
- typing
- flake8-extensions
examples from "Thoughtful Machine Learning"
- rubyml
Hashcat wrapper to help automate the cracking process
pytest plugin for testing mypy types, stubs, and plugins
- pytest
- mypy
- python
- pep484
A small and evil REST framework for Go
Verified hash-based AMQ structures in Coq
- bloom-filter
- probability
- coq-formalization
- coq
TranslatedMaimai Calendar (mobile widget version) | An iOS home screen calendar based on McDonald's MCP, with three sizes and birthday and holiday skins.
CUA-Master: Scaling Computer-use Agents through Open-World Recursive Improvements
Syntax tree generator for linguistic research
- rubynlp
- visualization
- linguistics
- ruby
undo specific lines or partial selections without affecting the rest of the file
- neovim
- neovim-plugin
- neovim-plugin-lua
- neovim-plugins
TranslatedMiAiCoding - a companion-style programming learning desktop app. A cute programming learning desktop app powered by Electron & Vue.
Experimental HTTP protocol for AI agents: operation discovery, concurrency policy and human-priority scheduling.
Microservice framework following best cloud practices with a focus on productivity.
- golang
- microservice
- framework
- go
Interactive voting results for PHP RFC process.
Clipping and geometric operations for spherical polygons.
- d3
- map
- polygon-clipping
- projection
An SDLang (Simple Declarative Language) library for D
Econumo - A personal and family budgeting app with multi-currency support, shared accounts, and flexible budgets
- budget
- budget-app
- expense-tracker
- money-tracker
Fiji library to perform image segmentation based on the Weka learning schemes
pure functional and generic programming for Erlang
- foldable
- traversable
- erlang
- lenses
Ratus is a RESTful asynchronous task queue server. It translated concepts of distributed task queues into a set of resources that conform to REST principles and provides a consistent HTTP API for various backends.
- distributed-systems
- priority-queue
- task-queue
- task-scheduler
EasyDocker is a TUI focused on investigating and troubleshooting Docker resources. Highly inspired by lazydocker and k9s while leveraging beautiful graphics from BubbleTea
A collection of fonts I've modified for PICO-8 programming.
- pico-8
- bitmap-fonts
- cp437
- windows1252