Minimalist, fast and modular implementation of the Ethereum protocol in Rust. L1 and L2 execution client.

LLVM-based Solidity compiler.

Cuda implementation of EVM bytecode executor

Differential Fuzzing of Bitcoin protocol implementations and libraries

Holistic Fuzzing for Bitcoin Protocol Implementations

DeepEP: an efficient expert-parallel communication library

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust

verl: Volcano Engine Reinforcement Learning for LLMs

A modular tool to track anything on the EVM chain, including real-time tracking and alerts.

Vyper language fuzzing framework

DOM fuzzer

A binary lifter and analysis framework for Ethereum smart contracts

Distributed LLM and StableDiffusion inference for mobile, desktop and server.

Fil-C: completely compatible memory safety for C and C++

A minimal proof language.

Grok open release

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

A tool that performs extraction of storage layouts based on EVM bytecode.

A list of awesome compiler projects and papers for tensor computation and deep learning.

Control USB connected presence lights from multiple vendors via the command-line or web API.

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

Ways to contribute to the Optimism Collective

Toolkit for developing and maintaining ML models

Pretrain, finetune ANY AI model of ANY size on 1 or 10,000+ GPUs with zero code changes.

Compute PageRank on >3 billion Wikipedia links on off-the-shelf hardware.