Aho-Corasick multi-pattern string matching
-
Updated
Sep 14, 2026 - OCaml
#
pure-ocaml
Here are 3 public repositories matching this topic...
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 11, 2026 - OCaml
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
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."