High-performance single-GPU inference for selected model checkpoints and GPUs.

DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm

a RTE-free X.509 parser

Lookup based midnight-proofs (halo2 fork) implementation of keccak-f[1600] permutation and gadgets for the sha3-256 and keccak-256 hash functions.

Fast and fully open source from a16z crypto modified by NovaNet for zkML precompiles. ⚡

Formal verification tool for Noir programs using the Rocq system

A library to do regex verification, adapted from the original zk-email. It additionally generates lookup tables.

Retrieval-Augmented Theorem Provers for Lean