#

pure-ocaml

Here are 3 public repositories matching this topic...

thevilledev / ocaml-pq

Pure OCaml FIPS 203/204/205 implementations: ML-KEM, ML-DSA, and SLH-DSA, with no C dependencies.

nist cryptography ocaml constant-time post-quantum-cryptography js-of-ocaml pqc ml-kem ml-dsa slh-dsa fips-203 fips-204 fips-205 pure-ocaml

Updated Oct 31, 2026
OCaml

thevilledev / ocaml-merkle

RFC 6962/9162 Merkle trees: inclusion and consistency proofs for OCaml

ocaml certificate-transparency merkle-tree rfc6962 supply-chain-security transparency-log inclusion-proof rfc9162 pure-ocaml

Updated Sep 26, 2026
Lean

thevilledev / ocaml-aho-corasick

Aho-Corasick multi-pattern string matching

ocaml automaton aho-corasick string-matching text-search pure-ocaml multi-pattern-matching

Updated Sep 14, 2026
OCaml

Add this topic to your repo

To associate your repository with the pure-ocaml topic, visit your repo's landing page and select "manage topics."