Repository Index

An HTML documentation generator for Coq source files

Print OCaml values based on their runtime representation

Runtime types for OCaml (beta version)

Tool to convert OASIS metadata to OPAM package descriptions

Unicode text segmentation for OCaml

Trivial/Tagless Polytypic Functions

OCaml pattern-matching extended with regexps (unmaintained)

Pure OCaml implementation of libXdiff (Rabin's fingerprint)

• diff
• rabin
• fingerprint
• git

OCaml implementation of the MQTT pubsub protocol.

Implementation of the Mask R-CNN model using OCaml's numerical library Owl.

Unicode character database decoder for OCaml

OCaml implementation of MySQL/MariaDB protocol with the Bitstring library

Open Source Social Database

A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort. :four_leaf_clover: :camel: :lock: :key:

• ocaml
• commitment-schemes
• secure-multi-party-computation
• cryptography

The dumb OCaml key-value store

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

Fully functional implementation of FCNNs with Back Prop

Minimalistic monad syntax for OCaml.

An HTML documentation generator for Rocq source files

Yet another Codeforces contest parser