samanpa

pingora

A library for building fast, reliable and evolvable network services.

HVM

A massively parallel, optimal functional runtime in Rust

semgrep

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

ast-grep

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

kani

Kani Rust Verifier

nextest

A next-generation test runner for Rust.

LibAFL

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

afl.rs

🐇 Fuzzing Rust code with American Fuzzy Lop

hermit

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.

rstest

Fixture-based test framework for Rust

cargo-semver-checks

Scan your Rust crate for semver violations.

layout

Layout is a rust library and a tool that renders Graphviz dot files.

snake-fury

a challenge for Haskell beginners

cargo-careful

Execute Rust code carefully, with extra checking along the way

dylint

Run Rust lints from dynamic libraries

mmtk-core

Memory Management ToolKit

ferrumfix

Financial Information eXchange protocol implemented in Rust

deflect

Reflection via DWARF.

saltwater

A C compiler written in Rust, with a focus on good error messages.

rustenstein

Wolfenstein 3D port written in Rust

abi-cafe

Pair your compilers up at The ABI Café!

tz-rs

A pure Rust reimplementation of libc functions localtime, gmtime and mktime.

morphir

A universal language for business and technology

bacon-rajan-cc

dachshund

Dachshund is a graph mining library written in Rust. It provides high performance data structures for multiple kinds of graphs, from simple undirected graphs to typed hypergraphs. Dachshund also provides algorithms for common tasks for graph mining and analysis, ranging from shortest paths to graph spectral analysis.

rust-crates-index

Rust library for retrieving and interacting with the crates.io index

rust-trees-that-grow

Brief implementation of Trees that Grow in Rust

linux-perf-data

A parser for the perf.data format

saltwater

A C compiler written in Rust, with a focus on good error messages.