Repository Index

MirageOS is a library operating system that constructs unikernels

• mirageos
• unikernel
• xen
• kvm

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

Cooperative-threaded access to relational data

• ocaml
• database
• io-monad
• mariadb

BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations

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

OCaml library designed to streamline the process of validating records, variants, lists, or values. It primarily operates through a PPX deriver that automatically generates validators.

• validation