Repository Index

Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]

• coq
• dependency-graph
• dependency-analysis
• docker-coq-action

Declarative 2D vector graphics for OCaml

RFC3986 URI parsing library for OCaml

• ocaml
• uri
• url
• rfc-3986

Template for an ocaml project with modern tooling

• ocaml

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

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

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