-
-
-
-
-
zksync-airbender Public
Forked from matter-labs/zksync-airbenderRISC-V prover system for ZKsync OS
Rust Apache License 2.0 UpdatedOct 20, 2025 -
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Rust Apache License 2.0 UpdatedOct 2, 2025 -
radek-simple-guest-program-rust Public
Forked from rodiazet/simple-guest-program-rustRust UpdatedSep 30, 2025 -
-
risc0 Public
Forked from risc0/risc0RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
C++ Apache License 2.0 UpdatedSep 23, 2025 -
zirgen Public
Forked from risc0/zirgenZirgen compiler and RISC Zero circuits
C++ Apache License 2.0 UpdatedSep 10, 2025 -
-
cascade-meta Public
Forked from cascade-artifacts-designs/cascade-metaPython Other UpdatedJul 6, 2025 -
cascade-artifacts Public
Forked from comsec-group/cascade-artifactsArtifacts for Cascade: CPU Fuzzing via Intricate Program Generation (USENIX Security 2024)
Scala UpdatedJul 2, 2025 -
ziglings Public template
Forked from ratfactor/ziglingsLearn the Zig programming language by fixing tiny broken programs.
Zig MIT License UpdatedJun 1, 2025 -
execution-spec-tests Public
Forked from ethereum/execution-spec-testsA Python framework and collection of test cases to generate test vectors for Ethereum execution clients
Python MIT License UpdatedMay 16, 2025 -
nexus-zkvm Public
Forked from nexus-xyz/nexus-zkvmThe Nexus zkVM: The zero-knowledge virtual machine
Rust Other UpdatedMay 7, 2025 -
-
book Public
Forked from rust-fuzz/book📖 Guides and tutorials on how to fuzz Rust code
Shell UpdatedApr 7, 2025 -
-
bb_recursion_bench Public
Forked from grjte/bb_recursion_benchBenchmarks for recursion and hashing with Noir and the Barretenberg backend
JavaScript UpdatedJan 3, 2025 -
lean Public
Forked from miekg/leanPretty, minimal, one-line, fast ZSH prompt
Shell Apache License 2.0 UpdatedJan 3, 2025 -
fhe.rs Public
Forked from tlepoint/fhe.rsFully Homomorphic Encryption library in Rust
Rust MIT License UpdatedMay 24, 2023 -
tfhe-rs Public
Forked from zama-ai/tfhe-rsTFHE-rs: Pure Rust implementation of the TFHE scheme for boolean and integers FHE arithmetics.
Rust Other UpdatedMay 20, 2023 -
aztec-connect Public
Forked from AztecProtocol/aztec-connectaztec connect repository
C++ GNU General Public License v2.0 UpdatedAug 9, 2022 -
-
-
unstable-ECs Public
An implementation of Kraus's algorithim for computing monodromy groups of elliptic curves over Q_p, where p=2,3. Sage worksheets (Jupyter notebooks) comparing Kodaira types, monodromy groups, and c…
Jupyter Notebook GNU General Public License v3.0 UpdatedMar 19, 2021 -
WSB-posts Public
Analysis of posts on the WallStreetBets subreddit.
Jupyter Notebook UpdatedMar 19, 2021 -
NBA-Shooter-Profiler Public
Compare an NBA player's shot profile in wins vs. in losses using clustering in four dimensions.
Jupyter Notebook GNU General Public License v2.0 UpdatedSep 7, 2020
{{ message }}