Pinned Loading

1. rosalind rosalind Public

   A deterministic genomics engine with a compact memory footprint. Run whole-genome workloads in as little as 100 MB RAM. Built in Rust.

   Rust 133 5

2. space-efficient-zero-knowledge-proofs space-efficient-zero-knowledge-proofs Public

   Sublinear-space ZKP system in Rust: a streaming prover that uses only O(√T) memory to commit wires/Z/Q via KZG (BN254) with blocked IFFT and aggregate-only Fiat–Shamir. Supports eval/coeff bases, d…

   Rust 50 2

3. hc-stark hc-stark Public

   A height-compressed, sublinear-space STARK prover. Designed to make very long zero-knowledge proofs practical on fixed-memory hardware (CPUs, GPUs, & edge devices). Post-quantum. Built in Rust.

   Rust

4. emsqrt emsqrt Public

   Process any data size with a fixed, small memory footprint. EM-√ is an external-memory ETL/log processing engine with hard peak-RAM guarantees. Unlike traditional systems that "try" to stay within …

   Rust 3

5. CausalHG CausalHG Public

   A first-class calculus for mechanism-level causal intervention. Strictly extends Pearl's SCM framework with hypergraph mechanisms as primary causal objects.

   Python