Iterate over promises serially
Repository Index
47,133 repositories indexed
649–672 of 853 · Most stars
Finite sets, finite maps, multisets and generic sets
- coq
- ssreflect
- mathcomp
- finite-sets
Max’s Parser Combinators: a simple and pragmatic library for writing parsers and lexers based on combinatory parsing.
- parser-combinators
- common-lisp
Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.
A micro workers class that easily manages a pool of threads to optimise simultaneous jobs and jobs endings, for MicroPython (used on Pycom modules & ESP32)
- pycom
- micropython
- lopy
- wipy
Advanced Function composition to use with RxJava [STABLE]
A sync.WaitGroup with error handling and concurrency control
- golang
- goroutines
- waitgroup
- pool
:shrimp: Rust cryptography library
- rust
- cryptography
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
Ordered-concurrently a library for concurrent processing with ordered output in Go. Process work concurrently and returns output in a channel in the order of input. It is useful in concurrently processing items in a queue, and get output in the order provided by the queue.
- concurrent
- golang
- golang-library
- data-science
Versatile Go code generator.
- golang
- code-generator
- generics
- conditional-compilation
Run AS worker in your AdobeAir projects without having to deal with complicated flash.system.Worker class
Lisp dialect implemented with Crystal
Interactive Lisp IDE with REPL, Inspector, Debugger and more for Sublime Text 4.
- lisp
- sublime-text
- flex-completion
- repl
GObject Introspection D Package Repository
Advanced Developer Async Programming Toolkit
- game-engine
- event
- framework
- async
Utility library for Clojure and ClojureScript
- clojure
- clojurescript
- lisp
- utility
A portable reader and bridge for interacting with Objective-C and Cocoa
The universal ISSR server compatible with <your-favorite-programming-language>
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
A Starcraft 2 replay parser written in pure Ruby
Hand-written bindings to Raylib for Common Lisp.
- common-lisp
- raylib
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action