Stars
Minimalist, performant and auditable verifiable RISC-V vm written in Rust
CommitLLM is a cryptographic commit-and-audit protocol for open-weight LLM inference.
Open-source 2D & 3D structural analysis in the browser. Direct Stiffness Method, real-time solving, no installation required.
Tekton is a self-hosted platform for running background AI coding agents at scale. The goal is infrastructure that builds things for you.
Backtester for evaluating options and equity portfolio strategies over historical data. Includes tools for strategy sweeps, tail-risk hedge analysis, and signal-based timing research.
Crash detection via fat-tail statistics. LPPLS, EVT, Hill, Kappa. Rust core + Python.
A minimalist and fast Lean Consensus client by LambdaClass, bringing expertise in distributed systems and blockchain infrastructure to deliver a robust and performant implementation.
An ultra-high performance and flexible EVM. Written in zig
A library OS for Linux multi-process applications, with Intel SGX support
Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
Multiplayer 2D physics engine, matchmaking, market and leaderboard for 2D and 3D Games
zksolc compiler plugin for asdf version manager.
Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
cairo-vm_in_C is a C implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another …
cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to anothe…
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another th…