Repository Index

Simple hash algorithms in OCaml

• hash
• ocaml
• sha1
• sha256

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

mustache.js logic-less templates in OCaml

• ocaml
• mustache-templates
• mustache

A neat interface for Slack

• ocaml
• slack
• binding
• bot

Redis bindings for OCaml

• ocaml
• ocaml-library
• redis-client

An SMT solver frontend for OCaml

• ocaml
• smt-lib
• symbolic-execution
• z3

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 DHCP library in OCaml

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

Object Relational Mapper extension

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

• ocaml
• data-structures
• algorithms

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

A friendly and minimalist link sharing website