Repository Index

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

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

• ocaml
• stdlib
• data-structure
• portable

Type-driven code generation for OCaml

• deriving

QuickCheck inspired property-based testing for OCaml.

• ocaml
• quickcheck
• random
• testing

Declarative definition of command line interfaces for OCaml

OCaml project generator.

• spin
• ocaml
• reason
• template

An OCaml lexer generator for Unicode

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]

• coq
• ide
• user-interface
• vscode-extension

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

An OCaml generic virtual machine for microcontrollers

Nice parsers in OCaml without the boilerplate

• ocaml
• menhir
• boilerplate
• parsing

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

Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]

• coq
• dependency-graph
• dependency-analysis
• docker-coq-action

Generate nix expressions from opam packages

Old Coq plugin for parametricity [maintainer=@ppedrot]

• parametricity
• coq-plugin
• coq
• docker-coq-action

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

general value printing within compiled programs

An HTML documentation generator for Coq source files

OCaml CBOR generic decoder/encoder, RFC 7049, http://cbor.io/

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

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