Repository Index

Irmin is a distributed database that follows the same design principles as Git

• ocaml
• git
• storage
• mirageos

Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.

• liquidsoap
• streaming
• webradio

Parser combinators built for speed and memory efficiency

• ocaml
• parser-combinators
• parsing

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

• ocaml
• http

GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.

• genealogy
• software
• web
• database

CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

• coq
• hammer
• automation
• proof-search

A REST toolkit for OCaml

• ocaml
• webmachine
• web
• http

Automated S-expression conversion

Exercism exercises in OCaml.

• exercism-track
• community-contributions-accepted
• maintained-solitary

Path-based dispatching for client- and server-side applications.

• web

Library of Raft consensus algorithm implemented in OCaml

• ocaml
• raft-consensus-algorithm
• raft
• consensus-algorithm