The single instruction language - Flip a bit, then Jump
- esoteric-programming-language
- programming-language
- oisc
- esolang
Repository Index
56,638 visible repositories in the index
481–504 of 774 · Most stars
User agent parser library
Simple ClojureScript interface to React
A safe way to execute functions asynchronously, recovering them in case of panic. It also provides an error stack aiming to facilitate fail causes discovery.
- go
- async
- hacktoberfest
Git super project for PySide
- python
- qt
- pyside
- qtforpython
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
A Lean formalization of the Stacks Project
A fast, purely functional data structure library in Common Lisp.
Write LÖVE 2D projects with TypeScript
- love2d
- typescript
- typescript-declaration
- lua
A collection of LPEG patterns
- lua
- lpeg
- uri
- uri-parser
A portable Common Lisp reader that is highly customizable, can recover from errors and can return concrete syntax trees
- common-lisp
- reader
- extensible
- error-recovery
:ram: Lisp that compiles to JavaScript in the Ramda way
- lisp
- ramda
- functional
- s-expression
A collection of containers & algorithms for the Crystal programming language
- crystal
- algorithms
Compose promise-returning & async functions into a reusable pipeline
Verified hash-based AMQ structures in Coq
- bloom-filter
- probability
- coq-formalization
- coq
pure functional and generic programming for Erlang
- foldable
- traversable
- erlang
- lenses
PasMP - a parallel-processing/multi-processing library for Object Pascal
Bindings to the Tauri API for projects using wasm-bindgen
Pure-Go SQL parser, formatter, linter and security scanner for 8 dialects. Zero-copy, race-free, with an LSP and MCP server.
Actor library for C# with additional modules that support persistence to Redis, as well as JS integration
Vert.x for Scala
AsyncCalls – Asynchronous function call framework
Go asynchronous simple function utilities, for managing execution of closures and callbacks
- goroutine
- callback
- closure
- golang
Decorator which checks whether the function is called with the correct type of parameters.
- python
- type-checking
- runtime-checking
- typechecking