An extremely fast Python linter and code formatter, written in Rust.

A simple, modular, and fast framework for writing MEV bots in Rust.

Rust implementation of the Ethereum Virtual Machine.

Efficient multicaller contracts

Real-time video streaming 🍆 detection.

Internet-scale Neural Networks

An English to Anglish (fully Germanic English) translator

ONNX Script enables developers to naturally author ONNX functions and models using a subset of Python.

The Nexus zkVM: The zero-knowledge virtual machine

A set of tooling related to halo2 circuits verification inside Solidity contracts

Frenrug on-chain AI agent smart contracts.

Introduction to Zero Knowledge Proof

Repo for our Paper: Octuplet Loss: Make Your Face Recognition Model Robust to Image Resolution

Tiny, no-nonsense, self-contained, Tensorflow and ONNX inference

Python benchmarking tool for popular zkml frameworks

A free and strong UCI chess engine

Zuzalu Passport

A performant, 100% open-source, contributor-friendly zkVM.

Step by step implementation of KZG

Permissionless onchain exploit bounties tied to a circuit breaker

Hides AP® Exam scores on the College Board website until clicked on, plays sounds, & displays confetti if they're passing.

Video discussing this curriculum:

🧮 Path to a free self-taught education in Mathematics!

Include halo2 example circuits

More efficient implementation of secp256k1 in RISC Zero

CatsWifGuns is a onchain fps game where the state is provable onchain