Repository Index

QuickCheck inspired property-based testing for OCaml.

• ocaml
• quickcheck
• random
• testing

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

• genealogy
• software
• web
• database

C Intermediate Language

A library for building dynamic webapps, using Js_of_ocaml.

Low-level JSON parsing and pretty-printing library for OCaml

• json
• ocaml
• yojson
• parser

Pure OCaml Git format and protocol

• git
• ocaml

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

Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.

• ocaml
• wasm
• webassembly
• interpreter

TLS in pure OCaml

• tls
• ocaml
• mirageos
• security

Code coverage for OCaml and ReScript

• coverage
• ocaml

Tutorial on Multicore OCaml parallel programming with domainslib

• ocaml
• multicore

OCaml project generator.

• spin
• ocaml
• reason
• template

OCaml bindings for TensorFlow

An OCaml lexer generator for Unicode

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

• ocaml
• dfa
• regular-expression

OCaml graph library

CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

• coq
• hammer
• automation
• proof-search

OCaml debug adapter

• debugger
• debug-adapter-protocol
• ocaml

OCaml library for reading, writing and modifying PDF files

The Frenetic Programming Language and Runtime System

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.

Rocq plugin embedding Elpi

• coq
• metaprogramming
• extension-language
• lambda-prolog