Pinned Repositories
analyze-unsafe
Analyzing the way Rust code uses unsafe, out in the wild.
bellman-bignat
Multiprecision arithmetic & RSA accumulators, within SNARKs
circ
(Cir)cuit (C)ompiler. Compiling high-level languages for SMT, zero-knowledge proofs, and more.
collaborative-zksnark
Prototype implementations of various Collaborative zkSNARKs.
construct
The Construct Language - A DSL for Classical Geometry
flint-rs
unsafe-ast
Producing ASTs which summarize the unsafe structure of Rust code.
circ
(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
LFSC
LFSC Proof Checker
alex-ozdemir's Repositories
alex-ozdemir/collaborative-zksnark
Prototype implementations of various Collaborative zkSNARKs.
alex-ozdemir/bellman-bignat
Multiprecision arithmetic & RSA accumulators, within SNARKs
alex-ozdemir/flint-rs
alex-ozdemir/circ
(Cir)cuit (C)ompiler. Compiling high-level languages for SMT, zero-knowledge proofs, and more.
alex-ozdemir/zk-pigeonhole
alex-ozdemir/verifirefox
✔️ Online translation verification for IonMonkey JIT IR
alex-ozdemir/alex-ozdemir.github.io
My site
alex-ozdemir/bellman
zk-SNARK library.
alex-ozdemir/cs245-as1
Student files for CS245 Programming Assignment 1: In-memory data layout
alex-ozdemir/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
alex-ozdemir/cvc5_z3py_compat
A Z3Py-compatible interface to cvc5
alex-ozdemir/dotfiles
alex-ozdemir/ff-smt-bench-gen
alex-ozdemir/ffsat
alex-ozdemir/fxhash
A fast, non-secure, hashing algorithm derived from an internal hasher in FireFox.
alex-ozdemir/hashconsing
A Rust hashconsing library.
alex-ozdemir/jaq
A jq clone focussed on correctness, speed, and simplicity
alex-ozdemir/jq
Command-line JSON processor
alex-ozdemir/LFSC
LFSC Proof Checker
alex-ozdemir/murxla
A model-based API Fuzzer for SMT Solvers.
alex-ozdemir/neovim.github.io
Neovim website
alex-ozdemir/notebk
My note managing tool.
alex-ozdemir/pest-ast
alex-ozdemir/r1cs-std
R1CS constraints for bits, fields, and elliptic curves
alex-ozdemir/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
alex-ozdemir/texlab
An implementation of the Language Server Protocol for LaTeX
alex-ozdemir/textern
A Firefox add-on for editing text in your favourite external editor!
alex-ozdemir/tokei
Count your code, quickly.
alex-ozdemir/tuntap
Rust's wrapper for creation of TUN/TAP devices
alex-ozdemir/ZKUNSAT