Open source Claude Code web/Codex Cloud/Devin alternative

Modular AI runtime for robots

The easiest way to run an Optimism node

Lightweight coding agent that runs in your terminal

A memory profiler for Linux.

Celestia derivation pipeline and proof crate built with kona

Succinct's Production-Grade Proving Engine for the OP Stack.

Monorepo for OP Stack Types, Components, and Services built in Rust.

Tools for STARK proving using cupy

A testnet open-source Layer 2 from the future, co-designed with the developer tools stack.

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

awesome-zkml repository

A curated list of zkVM, zero-knowledge virtual machine

The Ultimate ZK Proving Software Suite for Securing OP Rollups

CUDA on non-NVIDIA GPUs

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Sparse Fast Fourier Transform Library (C/C++/Python)

An Open Source Machine Learning Framework for Everyone

Modern C++ Programming Course (C++03/11/14/17/20/23/26)

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

The official GitHub mirror of the Chromium source

Modular ZK(Zero Knowledge) backend accelerated by GPU