An engine for displaying slips, the next-gen version of slides

Lightweight document

A Vim plugin that provides GraphQL file detection, syntax highlighting, and indentation.

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

Arity-generic API for tuple representations

Agnostic benchmark in OCaml (proof-of-concept)

hashing library that is generic on the hashing function, and a ppx deriving plugin for type-directer hashers

Tidy, feature-complete Web framework

Programming language for literate programming law specification

Syntax extension for writing SQL in OCaml

Cross-platform asynchronous I/O and system calls

Convert C-code to OCaml Ctypes via Clang

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

A proof assistant for general type theories

An HTTP/2 implementation written in pure OCaml

Matching Regular Expressions with OCaml Patterns

Cooperative-threaded access to relational data

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

Pluggable serialization and deserialization of ocaml data strucures based on type_conv

Unison file synchronizer

Execute code blocks inside your documentation

Staged metaprogramming in stock OCaml

🐫📢 The Noise Protocol Framework, with types

Ganeti is a virtual machine cluster management tool built on top of existing virtualization technologies such as Xen or KVM and other open source software.

Ganeti is a virtual machine cluster management tool built on top of existing virtualization technologies such as Xen or KVM and other open source software.

A Mirage firewall VM for QubesOS