Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

A spotify daemon

Spotify for the terminal written in Rust 🚀

An experimental linting interface for Rust. Let's make custom lints a reality

Fancy extension for std::error::Error with pretty, detailed diagnostic printing.

a structural diff that understands syntax 🟥🟩

Macros and utilities to work with Discord Interactions using twilight.

Mold: A Modern Linker 🦠

a model of MIR and the Rust type/trait system

Fast math typesetting for the web.

A cat(1) clone with wings.

Concours mensuel du Pire Développeur de France

A data-first Rust-native UI design toolkit.

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

The world's most hated IT stickers

Code for the manim-generated scenes used in 3blue1brown videos

Rust programming, in French.

A refreshingly simple data-driven game engine built in Rust

Adding support for the Rust language to the Linux kernel.

Real-time microphone noise suppression on Linux.

A fast implementation of Aho-Corasick in Rust.

GCC Front-End for Rust

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

Safe interop between Rust and C++

Cranelift based backend for rustc

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

An interpreter for Rust's mid-level intermediate representation

A Rust library for random number generation.

Automation/tooling for Rust spaces

Decentralized Privacy-Preserving Proximity Tracing -- Documents