Programming Languages Zoo

Deezer source separation library including pretrained models.

Simple virtual machine which interprets bytecode.

A curated list of awesome DIY software.

Master programming by recreating your favorite technologies from scratch.

A PDF parser and validator

Efficient reliable UDP unicast, UDP multicast, and IPC message transport

Simple Binary Encoding (SBE) - High Performance Message Codec

High Performance Inter-Thread Messaging Library

Erlang on Xen

A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.

Haywire is an asynchronous HTTP server framework written in C that's built using the event loop based libuv platform layer that node.js is built on top of.

A multi-process daemon framework for OCaml

Introduction to modern Prolog

An OCaml library for HTTP clients and servers using Lwt or Async

The missing Docker Toolkit

Unix system programming in OCaml book

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

Run containers like a ross

The swiss army knife of lossless video/audio editing

A strongly consistent distributed coordination system, built using proven protocols & implemented in Rust.

Deploying and managing production-grade etcd clusters on cloud providers: failure recovery, disaster recovery, backups and resizing.

Architectural patterns of resilient distributed systems

Assorted immutable collection datatypes for Rust

http request/response parser for c

Awesome list for Paxos and friends

Basic implementation of Paxos and Paxos-based table replication for a cluster of PostgreSQL nodes

Standalone, daemon-less, unprivileged Dockerfile and OCI compatible container image builder.

Distributed transactional key-value database, originally created to complement TiDB