Stars
Ensure dune and opam dependencies are consistent
Vim-fork focused on extensibility and usability
A high performance, memory efficient, and scalable web server written in OCaml
Lock-free data structures for multicore OCaml
Syntax extension for writing in-line tests in ocaml code
TaskScheduler is a set of algorithms working together for asynchronous threaded code execution.
Functional tools in Go 1.18 using newly introduced generics
alligator is aggregator for system and software metrics
A high-performance caching framework suitable for single-machine and for distributed applications in Rust
Morphological analyzer / inflection engine for Russian and Ukrainian languages.
High performance and high-precision multithreaded StatsD server
Lecture notes for a short course on proving/programming in Coq via SSReflect.