ocaml-curve448
X448 key agreement and Ed448/Ed448ph signatures for OCaml, with pure OCaml and C backends.
Open source ยท latest work
projects
Recent original projects spanning graph computing, cryptography, AI, security, cloud infrastructure, and systems programming.
ocaml-pq
Pure OCaml FIPS 203/204/205 implementations: ML-KEM, ML-DSA, and SLH-DSA, with no C dependencies.
ocaml-kube
Native OCaml 5 Kubernetes API client and controller runtime for building operators
ocaml-aho-corasick
Aho-Corasick multi-pattern string matching
ocaml-secret
Zeroized secret memory outside the OCaml heap
ocaml-hpke
Idiomatic RFC 9180 Hybrid Public Key Encryption for OCaml
ocaml-ascon
Pure OCaml implementation of NIST SP 800-232 Ascon
nx-rustworkx
A NetworkX 3.x backend that accelerates selected graph algorithms with rustworkx.
haya32x64
Experimental 64-bit non-cryptographic hash built entirely from 32-bit operations - portable C, pure JavaScript, and WebAssembly.
hayahash
Experimental fast, portable 64- and 128-bit non-cryptographic hash functions
sonnetbox
A pure-Go WebAssembly sandbox for evaluating untrusted Jsonnet.
packer-plugin-verda
Packer plugin for Verda Cloud
globacl
Globally distributed denylist
homeassistant-airfi
Home Assistant integration for AirFi air handling units (Model 60, Model 100, Model 130 etc)
coredns-llm
LLM inference over a CoreDNS plugin