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/scan
A tokenizing/parsing utility for Rust
alex-ozdemir/bayesian-ranking-math153
A numerical, purely Bayesian ranking algorithm written in Java
alex-ozdemir/libra-navigate
Navigating the Libra Complex using the iRobot Create
alex-ozdemir/memetics-sim
An visual simulation of evolution through color
alex-ozdemir/parsop
An Operator Grammar Parser Generator, written in Java.
alex-ozdemir/phylogenetic-reconciliation
Clustering histories of biologically-entangled populations.
alex-ozdemir/sgv-cycle
Cycling data for the Greater LA Region
alex-ozdemir/shanahan-rooms
A project to inofrm people about which rooms at Harvey Mudd College are open, when
alex-ozdemir/simple-cas
A [very basic] computer algebra system
alex-ozdemir/swingoku
A Java Swing Sudoku App
alex-ozdemir/tetris
A simple tetris experiment. Goal: cooperative, multiplayer tetris.
alex-ozdemir/truss-analyzer
A Python 2 program which allows the user to visually create an analyze trusses. A work-in-progress.