A web framework for Rust.

An incremental parsing system for programming tools

A CLI tool to convert your codebase into a single LLM prompt with source tree, prompt templating, and token counting.

An interpreter for Rust's mid-level intermediate representation

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

OS kernel labs based on Rust/C Lang & RISC-V 64/X86-32

Static analysis for GitHub Actions

The official Rust SDK for the Model Context Protocol

Kani Rust Verifier

CLI and Rust libraries for low-level manipulation of WebAssembly modules

Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.

Solidity Compiler for Solana, Polkadot and Stellar

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

A tracing library 10~100x faster than others.

Shuttle is a library for testing concurrent Rust code

egraphs + datalog!

A language server implementation for WGSL and WESL

Symbolic execution of LLVM IR with an engine written in Rust

Logic programming in Rust

Execute Rust code carefully, with extra checking along the way

The rustic MLIR bindings in Rust

Lightweight fuzzing of a memory snapshot using KVM

Extracts function selectors, arguments, state mutability and storage layout from EVM bytecode, even for unverified contracts

Reference implementation of the Filecoin Virtual Machine

Temper your expectations - Ethereum Transaction Simulator

Domain-specific infrastructure for analyzing, generating, and manipulating syntactically correct but semantically spec-non-compliant video files.

PromtFuzz is an automated tool that generates high-quality fuzz drivers for libraries via a fuzz loop constructed on mutating LLMs' prompts.

Analyze Rust crates without touching compiler internals

Learn to make your own programming language with Rust

Find the ideal fuzz targets in a Rust codebase