A modular framework for building EVM consensus clients ⛵️✨

Fast linters runner for Go

Contracts of EigenLayer

Go rules for semgrep and go-ruleguard

An interpreter for Rust's mid-level intermediate representation

KLEE Symbolic Execution Engine

A static verifier for Rust, based on the Viper verification infrastructure.

Kani Rust Verifier

Rust mid-level IR Abstract Interpreter

weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

The Ethereum Improvement Proposal repository

Go implementation of the Ethereum protocol

Solidity, the Smart Contract Programming Language

JSON-RPC endpoint proxy that dumps requests/responses for debugging

A Kurtosis package that deploys a private, portable, and modular Ethereum devnet

A platform for packaging and launching blockchain infra. Think docker compose for blockchain

Ethereum consensus client in Rust

Automatically generates Rust FFI bindings to C (and some C++) libraries.

FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

A docker-compose with Grafana + Prometheus for monitoring Lighthouse

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Rust implementation of the Ethereum Virtual Machine.

Ethereum Proof-of-Stake Consensus Specifications

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