Stars
A STARK-based VM focused on code reuse, performance, and modularity
A library that implements wipe-on-fork primitives for Rust
Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.
ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.
CLI tool for Oxide, the zero-knowledge circuit package-manager by IronMill
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
A configuration verification tool for Puppet
Statistical Counterexample Detector for Differential Privacy
Dolphin is a GameCube / Wii emulator, allowing you to play games for these two platforms on PC with improvements.
DSL in Scala for Constraint Solving with Z3 SMT Solver
SRPG game made with Blender, with scripts in Python