ocaml-library topic
kado
🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory
mugen
♾️ A library for universe levels and universe polymorphism
yuujinchou
👹 A library for hierarchical names and lexical scoping
twostep
HOTP and TOTP algorithms for 2-step verification (for OCaml). :clock10: :closed_lock_with_key: :1234: :camel:
transept
An OCaml modular and generalised parser combinator library.
dolmen
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
ocannl
OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
secp256k1-ml
Elliptic curve library secp256k1 wrapper for Ocaml