-
-
aeneas Public
Forked from AeneasVerif/aeneasA verification toolchain for Rust programs
OCaml Apache License 2.0 UpdatedJan 20, 2025 -
tinygrad Public
Forked from tinygrad/tinygradYou like pytorch? You like micrograd? You love tinygrad! ❤️
Python MIT License UpdatedNov 22, 2024 -
ascent Public
Forked from s-arash/ascentlogic programming in Rust
Rust MIT License UpdatedAug 10, 2024 -
Plonky3 Public
Forked from Plonky3/Plonky3A toolkit for polynomial IOPs (PIOPs)
Rust Apache License 2.0 UpdatedMay 2, 2024 -
babybear-ntt Public
Sppark's implementation of an NTT for the BabyBear curve cycle
Rust Apache License 2.0 UpdatedMay 1, 2024 -
-
-
-
submission-msm-gpu Public
Forked from yrrid/submission-msm-gpuCuda Apache License 2.0 UpdatedDec 20, 2023 -
tracing-texray Public
Forked from rcoh/tracing-texrayTracing layer to quickly inspect spans and events
Rust MIT License UpdatedDec 3, 2023 -
memmap2-rs Public
Forked from RazrFalcon/memmap2-rscross-platform Rust API for memory mapped IO
Rust Apache License 2.0 UpdatedOct 10, 2023 -
circom Public
Forked from iden3/circomzkSnark circuit compiler
WebAssembly GNU General Public License v3.0 UpdatedOct 5, 2023 -
bellpepper Public
Forked from lurk-lang/bellpepperSNARK Circuit library
Rust Other UpdatedSep 8, 2023 -
Nova-Scotia Public
Forked from nalinbhardwaj/Nova-ScotiaMiddleware to compile Circom circuits to Nova prover
JavaScript MIT License UpdatedJul 17, 2023 -
neptune Public
Forked from lurk-lab/neptuneRust Poseidon implementation.
Rust Other UpdatedJun 11, 2023 -
Nova Public
Forked from microsoft/NovaNova: Recursive SNARKs without trusted setup
Rust MIT License UpdatedJun 6, 2023 -
abomonation_derive Public
Forked from mystor/abomonation_deriveA macros 1.1 #[derive(Abomonation)] implementation for the abomonation crate
Rust UpdatedJun 6, 2023 -
pasta_curves Public
Forked from zcash/pasta_curvesRust implementation for zcash/pasta
Rust Other UpdatedJun 5, 2023 -
pasta-msm Public
Forked from supranational/pasta-msmHigh-performance Multi-scalar Multiplication for Pasta curves
Rust Apache License 2.0 UpdatedJun 1, 2023 -
Zero-copy deserialization framework for Rust
Rust MIT License UpdatedMay 14, 2023 -
-
math-at-usc Public
Collection of nice LaTeX notes and problem sets at USC.
-
TypeScript Public
Forked from microsoft/TypeScriptTypeScript is a superset of JavaScript that compiles to clean JavaScript output.
TypeScript Apache License 2.0 UpdatedApr 13, 2023 -
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 UpdatedMar 20, 2023 -
group Public
Forked from zkcrypto/groupElliptic curve group traits and utilities.
Rust Other UpdatedFeb 1, 2023 -
-
stalingrad Public
Forked from iejMac/stalingradour deep learning framework
Python MIT License UpdatedMay 16, 2022 -
leancoder Public
Forked from iejMac/leancoderProving math theorems in Lean using the DreamCoder algorithm.
MIT License UpdatedApr 25, 2022 -
natural_number_game Public
Forked from ImperialCollegeLondon/natural_number_gameBuilding the natural numbers in Lean.
Lean Apache License 2.0 UpdatedApr 19, 2022
{{ message }}