martyall
Follow
-
-
cryptoindex Public
Citation-grounded retrieval over cryptography papers
-
egglog Public
Forked from egraphs-good/egglogegraphs + datalog!
Rust MIT License UpdatedAug 28, 2026 -
-
euclid-primes Public
A Lean 4 formalization of Euclid's theorem on the infinitude of primes, built from first principles
TeX UpdatedJul 30, 2026 -
-
-
starter-kit Public
Forked from proto-kit/starter-kitStarter kit for privacy enabled application chains
TypeScript UpdatedMar 5, 2026 -
-
-
-
ldkit Public
Forked from karelklima/ldkitLDkit - Linked Data query toolkit for TypeScript developers
TypeScript MIT License UpdatedOct 8, 2025 -
-
-
-
-
o1js Public
Forked from o1-labs/o1jsTypeScript framework for zk-SNARKs and zkApps
TypeScript Apache License 2.0 UpdatedApr 17, 2025 -
proof-systems Public
Forked from o1-labs/proof-systemsThe proof systems used by Mina
Rust Apache License 2.0 UpdatedApr 17, 2025 -
proptest Public
Forked from proptest-rs/proptestHypothesis-like property testing for Rust
Rust Apache License 2.0 UpdatedFeb 22, 2025 -
-
-
circom-compat Public
Forked from arkworks-rs/circom-compatArkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
Rust Apache License 2.0 UpdatedApr 16, 2024 -
-
propagators Public
Forked from ekmett/propagatorsThe Art of the Propagator. See also:
Haskell Other UpdatedApr 1, 2024 -
purescript-ocelot Public
Forked from davezuch/purescript-ocelotAn opinionated component library for Halogen apps
PureScript Apache License 2.0 UpdatedMar 22, 2024 -
-
-
-
-