Repository Index

Old Coq plugin for parametricity [maintainer=@ppedrot]

• parametricity
• coq-plugin
• coq
• docker-coq-action

The repository host gives no description.

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

An HTML documentation generator for Coq source files

Trivial/Tagless Polytypic Functions

OCaml implementation of the MQTT pubsub protocol.

OCaml implementation of MySQL/MariaDB protocol with the Bitstring library

Official OCaml port of Sqids. Generate short unique IDs from numbers.

• id-generator
• ocaml
• sqids
• hashids

The dumb OCaml key-value store

• ocaml-library
• nosql
• persistent-storage
• hash-table

An HTML documentation generator for Rocq source files