Repository Index

Unison file synchronizer

MirageOS is a library operating system that constructs unikernels

• mirageos
• unikernel
• xen
• kvm

Universal toplevel for OCaml

An OCaml library for HTTP clients and servers using Lwt or Async

• ocaml
• http
• http-client
• lwt

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

• ocaml
• stdlib
• data-structure
• portable

A lightweight and colourful test framework

• unit-testing
• ocaml

QuickCheck inspired property-based testing for OCaml.

• ocaml
• quickcheck
• random
• testing

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

• json
• ocaml
• yojson
• parser

An OCaml lexer generator for Unicode

Terminal manipulation library for OCaml

• ocaml

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

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

Communication between Coq and SAT/SMT solvers

A Unicode library for OCaml

OCaml implementation of the DNS protocol

• ocaml
• dns
• mirageos
• unikernel

Exercism exercises in OCaml.

• exercism-track
• community-contributions-accepted
• maintained-solitary

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

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

Inline (Unit) Tests for OCaml

A DHCP library in OCaml

• dhcp-library
• dhcp-server
• ocaml
• mirage

An enhanced unification algorithm for Coq

OCaml bindings to MariaDB, supporting the nonblocking API

Parallelize _anything_ //

• ocaml-library
• parallel-computing
• stream-processing
• multi-processing

Pure OCaml implementation of the "vchan" shared-memory communication protocol

Old Coq plugin for parametricity [maintainer=@ppedrot]

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

Extensible binary data format, like JSON but faster