Highly compatible N64 emulator

Tutorial about using bolero and Kani for harness-based testing and verification

A statically typed programming language for scientific computations with first class support for physical dimensions and units

A markup-based typesetting system that is powerful and easy to learn.

DNS-Blocklists: For a better internet - keep the internet clean!

Flamegraph viewer in the terminal

Tool to statically recompile N64 games into native executables

Developer-friendly EverLights SDK

a model of MIR and the Rust type/trait system

Just Another Memory Mapped Database

🐝🦀🔥 An ebpf based CPU profiler written in Rust

A requirements traceability tool

Clean up greasy Chromium Initial QUIC packets

Cluster membership protocol with failure detection inspired by Cassandra and DynamoDB

Library for audio processing and synthesis

An implementation of the IETF QUIC protocol

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

A Rust environment for sound synthesis and algorithmic composition.

A unit test-like interface for fuzzing and symbolic execution

Cross-platform realtime MIDI processing in Rust.

Simple seccomp library for rust

Typed HTTP Headers from hyper

Reference implementation for the JavaScript Binary AST format

A simple event-driven library for parsing WebAssembly binary files

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

A Game Boy research project and emulator written in Rust

Specs - Parallel ECS

Rust frontend framework, for web browser and more.

Rust / Wasm framework for creating reliable and efficient web applications

Automagical variable binding library for Rust