Repository Index

A simple multi-format pretty-printer for Menhir.

• ocaml
• menhir
• parser
• pretty-print

A DHCP library in OCaml

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

Object Relational Mapper extension

Famous 99 problems in OCaml

Binding to Cairo, a 2D Vector Graphics Library.

• cairo
• ocaml
• stroke
• drawing

OCaml bindings to MariaDB, supporting the nonblocking API

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

simple package build system for ocaml

Syntax extension for embedded SQL queries using PG'OCaml.

• ocaml
• sql
• postgres
• ppx

Parallelize _anything_ //

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

OCaml library for reporting metrics to a Prometheus server

• metrics
• mirageos
• ocaml

OCaml PPX deriver for reflection

Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.

• liquid
• ocaml
• parser-combinators
• shopify

OpenID Connect implementation in OCaml. Currently only the RP (client) parts are polished.

• ocaml
• oidc
• oidc-client

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

A library to build and execute typed scientific workflows

• ocaml
• bioinformatics
• computational-biology
• workflow

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

A fully-modular OCaml style linter

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

• web

Old Coq plugin for parametricity [maintainer=@ppedrot]

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

Pretty-printing library for OCaml

RSS and Atom feed parsing

LexiFi runtime types

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