-
cvc5_z3py_compat Public
Forked from cvc5/cvc5_pythonic_apiA Z3Py-compatible interface to cvc5
Python Other UpdatedMay 1, 2025 -
circ Public
Forked from circify/circ(Cir)cuit (C)ompiler. Compiling high-level languages for SMT, zero-knowledge proofs, and more.
-
-
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
SMT Other UpdatedOct 23, 2024 -
-
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 -
collaborative-zksnark Public
Prototype implementations of various Collaborative zkSNARKs.
-
-
-
-
-
textern Public
Forked from jlebon/texternA Firefox add-on for editing text in your favourite external editor!
JavaScript GNU General Public License v3.0 UpdatedMar 11, 2023 -
-
-
alex-ozdemir.github.io Public
Forked from mmistakes/minimal-mistakesMy site
HTML UpdatedJun 24, 2022 -
-
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
-
-
tuntap Public
Forked from vorner/tuntapRust's wrapper for creation of TUN/TAP devices
Rust Apache License 2.0 UpdatedDec 29, 2021 -
rust-clippy Public
Forked from rust-lang/rust-clippyA bunch of lints to catch common mistakes and improve your Rust code
Rust Other UpdatedDec 29, 2021 -
neovim.github.io Public
Forked from neovim/neovim.github.ioNeovim website
HTML MIT License UpdatedDec 24, 2021 -
cs245-as1 Public
Forked from stanford-futuredata/cs245-as1Student files for CS245 Programming Assignment 1: In-memory data layout
Java Apache License 2.0 UpdatedDec 9, 2021
{{ message }}