A basic but performant promise implementation.
Repository Index
47,133 repositories indexed
25–48 of 78 · Most stars
Low-overhead, non-blocking I/O, external Process implementation for Java
An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.
- cpp
- cplusplus
- cplusplus-17
- actor-model
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq
Swift implementations for function currying
An implementation of Python in Common Lisp
- common-lisp
- python
- compiler
Monad, Functional Programming features for Golang
- golang
- functional-programming
- functional-reactive-programming
- reactive
Stream api (kind of) implementation for go, other useful functions and packages to use go in a functional way
- filter-map-reduce
- go-library
- stream-api
- filter
:alarm_clock: A lightweight implementation of Promises in Swift
- promise
- swift
A high-performance, thread-safe generic concurrent hash map implementation with Swiss Map.
The reference implementation of orderly: a schema language for JSON.
A reimplementation of Qt's moc using libclang. Contains both a drop-in remplacement, and a plugin for the clang compiler.
An implementation of React hooks on top of purescript-react-basic
a re-implementation of the asyncio mainloop on top of Trio
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
SUSHI (aka "SUSHI Unshortens Short Hand Inputs") is a reference implementation command-line interpreter/compiler for FHIR Shorthand (FSH).
Yaml parser for Elixir based on native Erlang implementation
Rembulan, an implementation of Lua 5.3 for the Java Virtual Machine
Multi-Paradigm Pipeline Implementation
The Ink language parser and runtime implementation in Lua
- ink
- lua
- narrative
- interactive-fiction
CyclicBarrier golang implementation
- go
- golang
- cyclicbarrier
- cyclicbarrier-golang
Java port of a concurrent trie hash map implementation from the Scala collections library
J2ME implementation in JavaScript
- j2me