Jane Street Capital's standard library overlay

Base library and tools for ppx rewriters

OCaml syntax extension for quoting code

Ensure dune and opam dependencies are consistent

Vim-fork focused on extensibility and usability

Automatic and modern error handling package for Go

Interop between OCaml Lwt and Rust async

A high performance, memory efficient, and scalable web server written in OCaml

OCaml extensions in Rust

Lock-free data structures for multicore OCaml

Syntax extension for writing in-line tests in ocaml code

Golang programming course

The official OCaml website.

TaskScheduler is a set of algorithms working together for asynchronous threaded code execution.

Static types for JSON APIs

A different spin on dataclasses.

Functional tools in Go 1.18 using newly introduced generics

alligator is aggregator for system and software metrics

Highly customizable async caching framework for Rust - from in-memory to distributed solutions, designed for high-performance applications

Morphological analyzer / inflection engine for Russian and Ukrainian languages.

High performance and high-precision multithreaded StatsD server

Redis cluster library for Rust

Pure Go Redis server for Go unittests

A modern proof language

Python asyncio client for Riak

Lecture notes for a short course on proving/programming in Coq via SSReflect.

Rust bindings to libpostal