Repository Index

A neat interface for Slack

• ocaml
• slack
• binding
• bot

Redis bindings for OCaml

• ocaml
• ocaml-library
• redis-client

Easy to use Makefile for small to medium-sized OCaml-projects

• ocaml
• makefile

OCaml bindings for Kafka

• ocaml-bindings
• kafka
• librdkafka

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

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

RSS and Atom feed parsing

nanomsg bindings for ocaml

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

Pure OCaml implementation of libXdiff (Rabin's fingerprint)

• diff
• rabin
• fingerprint
• git

OCaml bindings for OpenGL

• opengl
• ocaml

Volt - A variant of Bolt OCaml logging tool

A PlantUML to XML converter

• automation
• converter
• document
• ocaml

OCaml bindings for Python