Repository Index

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

• ocaml
• javascript
• reasonml
• reason

MirageOS is a library operating system that constructs unikernels

• mirageos
• unikernel
• xen
• kvm

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

• ocaml
• git
• storage
• mirageos

A composable build system for OCaml.

• build
• ocaml
• opam
• dune

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

Terraform without the state file bottleneck

• automation
• cloud-management
• devops
• github-actions

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

• genealogy
• software
• web
• database

Cooperative-threaded access to relational data

• ocaml
• database
• io-monad
• mariadb

cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)

• mldonkey
• ocaml-program
• p2p

TLS in pure OCaml

• tls
• ocaml
• mirageos
• security

Pure OCaml regular expressions, with support for Perl and POSIX-style strings

• ocaml
• dfa
• regular-expression

OSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.

• diff
• snapshot-testing
• testing
• snapshot

A compiler for the 🎃 Spooky 😱 programming language 👻

• halloween
• surprise
• fear
• programming-language

OCaml template engine almost compatible with jinja2

• ocaml
• jinja2
• template-engine

OCaml implementation of the DNS protocol

• ocaml
• dns
• mirageos
• unikernel

Syntax extension for embedded SQL queries using PG'OCaml.

• ocaml
• sql
• postgres
• ppx

OCaml library for reporting metrics to a Prometheus server

• metrics
• mirageos
• ocaml

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

• coq-plugin
• coq-tactic
• coq
• docker-coq-action

A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort. :four_leaf_clover: :camel: :lock: :key:

• ocaml
• commitment-schemes
• secure-multi-party-computation
• cryptography

The dumb OCaml key-value store

• ocaml-library
• nosql
• persistent-storage
• hash-table

Collect and view OSS cryptocurrency development.

• cryptocurrency
• open-source-software
• github
• software-metrics