Redis bindings for OCaml
- ocaml
- ocaml-library
- redis-client
Repository Index
47,133 repositories indexed
121–144 of 234 · Most stars
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
Easy to use Makefile for small to medium-sized OCaml-projects
- ocaml
- makefile
OCaml bindings for Kafka
- ocaml-bindings
- kafka
- librdkafka
The transitory OCaml software packager
Inline (Unit) Tests for OCaml
OCaml Amqp client library for Async and Lwt.
- amqp-client
- rabbitmq
- async
- ocaml
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
OCaml bindings to libcurl
- libcurl
- ocaml-bindings
- ocaml
Famous 99 problems in OCaml
An enhanced unification algorithm for Coq
Binding to Cairo, a 2D Vector Graphics Library.
- cairo
- ocaml
- stroke
- drawing
Micro-benchmarking library for OCaml
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
Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml
- ocaml
- linenoise
- readline
- standalone
simple package build system for ocaml
Syntax extension for embedded SQL queries using PG'OCaml.
Parallelize _anything_ //
- ocaml-library
- parallel-computing
- stream-processing
- multi-processing
A friendly and minimalist link sharing website
Fast implementation of queue in OCaml
- queue
- ocaml
- gadt