Symbolic Geometric Algebra with E-Graphs

benchmarking e-graph extraction

Modular visual interface for GDB in Python

Optimize floating-point expressions for accuracy

egg is a flexible, high-performance e-graph library

Zero-copy deserialization framework for Rust

Ensure correct assumptions about constants, types, and more in Rust

Cross-platform async library for system information fetching 🦀

Colorful panic backtraces for Rust

Online introspection for Rust

Paper manager

A modern proof language

Create PDF documents using web technologies

Rust persistent data structures

Postmodern immutable and persistent data structures for C++ — value semantics at scale

Assorted immutable collection datatypes for Rust

Terrain rendering algorithm in less than 20 lines of code

Actor framework for Rust.

rust stackful coroutine library

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

Rusty Object Notation

Parse command line arguments by defining a struct.

A simple, fast and user-friendly alternative to 'find'

Represent large sets and maps compactly with finite state transducers.

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

Repository for the Rust Language Server (aka RLS)

🐇 Fuzzing Rust code with American Fuzzy Lop

Embedded Web Server

Modular wayland window manager written in rust

A fast, practical GPU rasterizer for fonts and vector graphics