-
faest-ref Public
Forked from faest-sign/faest-refFAEST reference implementation
C++ MIT License UpdatedOct 11, 2026 -
-
-
-
nanoda_lib Public
Forked from ammkrn/nanoda_libLibrary implementing type inference/checking functionality based on the Lean theorem prover
Rust Apache License 2.0 UpdatedAug 28, 2026 -
alex-ozdemir.github.io Public
Forked from mmistakes/minimal-mistakesMy site
HTML UpdatedJul 28, 2026 -
-
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
SMT Other UpdatedMay 13, 2026 -
-
powdr Public
Forked from powdr-labs/powdrPerformance and security acceleration for zkVMs.
Rust Apache License 2.0 UpdatedMar 9, 2026 -
circ Public
Forked from circify/circ(Cir)cuit (C)ompiler. Compiling high-level languages for SMT, zero-knowledge proofs, and more.
-
textern Public
Forked from jlebon/texternA Firefox add-on for editing text in your favourite external editor!
JavaScript GNU General Public License v3.0 UpdatedJan 22, 2026 -
collaborative-zksnark Public
Prototype implementations of various Collaborative zkSNARKs.
-
cvc5_z3py_compat Public
Forked from cvc5/cvc5_pythonic_apiA Z3Py-compatible interface to cvc5
Python Other UpdatedMay 1, 2025 -
harper Public
Forked from Automattic/harperThe Grammar Checker for Developers
Rust Apache License 2.0 UpdatedSep 17, 2024 -
bellman-bignat Public
Multiprecision arithmetic & RSA accumulators, within SNARKs
-
murxla Public
Forked from murxla/murxlaA model-based API Fuzzer for SMT Solvers.
C++ GNU General Public License v3.0 UpdatedApr 11, 2024 -
texlab Public
Forked from latex-lsp/texlabAn implementation of the Language Server Protocol for LaTeX
Rust GNU General Public License v3.0 UpdatedMar 11, 2024 -
-
-
-
-
-
-
-
jaq Public
Forked from 01mf02/jaqA jq clone focussed on correctness, speed, and simplicity
Rust MIT License UpdatedMay 19, 2022 -
hashconsing Public
Forked from AdrienChampion/hashconsingA Rust hashconsing library.
-
r1cs-std Public
Forked from arkworks-rs/r1cs-stdR1CS constraints for bits, fields, and elliptic curves
Rust Apache License 2.0 UpdatedMar 8, 2022 -
verifirefox Public
✔️ Online translation verification for IonMonkey JIT IR
-
{{ message }}