Repository Index

OCaml implementation of the DNS protocol

• ocaml
• dns
• mirageos
• unikernel

Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCaml code.

Lwt Translations of the Async Code Examples in Real World OCaml

• ocaml
• lwt

Exercism exercises in OCaml.

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

Less redundancy in type declarations and signatures

Generate nix expressions from opam packages

BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations

The transitory OCaml software packager

Object Relational Mapper extension

Syntax extension for embedded SQL queries using PG'OCaml.

• ocaml
• sql
• postgres
• ppx

Type-safe library for building parallel applications, built on top of Async's Rpc module.

Path-based dispatching for client- and server-side applications.

• web

Extensible binary data format, like JSON but faster

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

OCaml bindings to PCRE (Perl Compatibility Regular Expressions)

• ocaml
• pcre
• pattern-matching
• string-matching

Library of Raft consensus algorithm implemented in OCaml

• ocaml
• raft-consensus-algorithm
• raft
• consensus-algorithm

Inspection of internal value representations and the object graph

Tool to convert OASIS metadata to OPAM package descriptions

Trivial/Tagless Polytypic Functions

Fully functional implementation of FCNNs with Back Prop