egraphs + datalog!

A very fast linker for Linux

Build & ship backends without writing any infrastructure files.

A tool to interactively write shell pipelines.

NES emulator on GBA

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

WASI API proposal for managing sockets

An implementation of Joshua Yanovski's Ghost Cell paper.

Rust for Windows

🌠 Manage your shell commands.

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

Rust bindings for Dear ImGui

A light windows GUI toolkit for rust

Rust explained using easy English

Write safer FFI code in Rust without polluting it with unsafe code

Lean 3 Theorem Prover (community fork)

Quadsort is a branchless stable adaptive mergesort faster than quicksort.

Lean 4 programming language and theorem prover

Research programming language for concurrent ownership

The source code to VVVVVV! http://thelettervsixtim.es/

ImTui: Immediate Mode Text-based User Interface C++ Library

A derive macro for implementing the display Trait via a doc comment and string interpolation

View disk space usage and delete unwanted data, fast.

mimalloc is a compact general purpose allocator with excellent performance.

A rust drawing library for high quality data plotting for both WASM and native, statically and realtimely 🦀 📈🚀

Visual Studio Code Remote Development: Open any folder in WSL, in a Docker container, or on a remote machine using SSH and take advantage of VS Code's full feature set.

The new Windows Terminal and the original Windows console host, all in the same place!

Colorful panic backtraces for Rust

A memory allocator that automatically reduces the memory footprint of C/C++ applications.