Repository Index

MirageOS is a library operating system that constructs unikernels

• mirageos
• unikernel
• xen
• kvm

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

• ida-plugin
• taint-analysis
• reverse-engineering
• disassembly

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

Type-driven code generation for OCaml

• deriving

QuickCheck inspired property-based testing for OCaml.

• ocaml
• quickcheck
• random
• testing

Cooperative-threaded access to relational data

• ocaml
• database
• io-monad
• mariadb

Declarative definition of command line interfaces for OCaml

OCaml project generator.

• spin
• ocaml
• reason
• template

An OCaml lexer generator for Unicode

drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.

A Yojson codec generator for OCaml.

• deriving
• json

Nice parsers in OCaml without the boilerplate

• ocaml
• menhir
• boilerplate
• parsing

OCaml code generator plugin for the Cap'n Proto serialization framework

Declarative 2D vector graphics for OCaml

Less redundancy in type declarations and signatures

Generate nix expressions from opam packages

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

An HTML documentation generator for Coq source files

date and duration in ocaml

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

CUID generator for OCaml. :id: :camel: :1234: :gear:

• cuid
• ocaml

Official OCaml port of Sqids. Generate short unique IDs from numbers.

• id-generator
• ocaml
• sqids
• hashids