A compiler from a subset of Rust to Brainfuck

Creusot helps you prove your code is correct in an automated fashion.

A buddy system allocator in pure Rust.

supply-chain security for Rust

Thunderbird for Android – Open Source Email App for Android (fka K-9 Mail)

A fast bump allocation arena for Rust

LL(k) and LALR(1) parser generator for Rust

A refreshingly simple data-driven game engine built in Rust

Zero-copy deserialization framework for Rust

Compile-time type-checked builder derive

Command line helpers for fuzzing

A modern supercompiler for call-by-value functional languages

A bumpalo-based Unrolled Exponential Linked List

Official Transmission BitTorrent client repository

Solving i18n for client-side and resource-constrained environments.

A precise specification for "Rust lite / MIR plus"

Ingest, parse, and optimize any data format ➡️ from documents to multimedia ➡️ for enhanced compatibility with GenAI frameworks

A Rust library to extract useful data from HTML documents, suitable for web scraping.

A crate for mucking around with piles of bytes

An extremely fast Python package and project manager, written in Rust.

Run experiments across parts of the Rust ecosystem!

SIMD (SSE) population count --- http://0x80.pl/articles/sse-popcount.html

A delicious package manager

A lexer for the C lanuage written with the Logos lexer library.

An experimental serialization system written in Rust

The enum Either with variants Left and Right is a general purpose sum type with two cases.

A Lua bytecode compiler written in Lua itself for didactic purposes or for new language implementations

6kb subset of Vue optimized for progressive enhancement

Metamath Zero specification language

A simple, fast, and secure operating system for the cloud.