Repository Index

Binary Analysis Platform

• binary-analysis
• reverse-engineering
• program-analysis
• static-analysis

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

OCaml bindings for PyTorch

• ocaml
• pytorch
• machine-learning
• artificial-intelligence

QuickCheck inspired property-based testing for OCaml.

• ocaml
• quickcheck
• random
• testing

Tutorial on Multicore OCaml parallel programming with domainslib

• ocaml
• multicore

OCaml project generator.

• spin
• ocaml
• reason
• template

An OCaml lexer generator for Unicode

A Yojson codec generator for OCaml.

• deriving
• json

Self-contained monadic parser combinators for OCaml

• parser-combinators
• parser-monad

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

The transitory OCaml software packager

Binding to Cairo, a 2D Vector Graphics Library.

• cairo
• ocaml
• stroke
• drawing

Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.

• liquid
• ocaml
• parser-combinators
• shopify

OCaml library for combinatorics

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

Bencode (.torrent file format) reader/writer 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