OCaml Amqp client library for Async and Lwt.
- amqp-client
- rabbitmq
- async
- ocaml
Repository Index
47,133 repositories indexed
97–120 of 170 · Most stars
A DHCP library in OCaml
- dhcp-library
- dhcp-server
- ocaml
- mirage
Famous 99 problems in OCaml
An enhanced unification algorithm for Coq
Binding to Cairo, a 2D Vector Graphics Library.
- cairo
- ocaml
- stroke
- drawing
OCaml bindings to MariaDB, supporting the nonblocking API
Data structures and algorithms in OCaml
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.
A friendly and minimalist link sharing website
OCaml PPX deriver for reflection
Multilingualization for the OCaml source code
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
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
Extensible binary data format, like JSON but faster
RSS and Atom feed parsing
A dumb OCaml logger