ripgrep recursively searches directories for a regex pattern while respecting your gitignore

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

Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

A cross-platform, safe, pure-Rust graphics API.

rga: ripgrep, but also search in PDFs, E-Books, Office documents, zip, tar.gz, etc.

Tools for concurrent programming in Rust

Rust Code Completion utility

Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.

A new kind of terminal

Rust <-> Python bindings

😠⚔️😈 A minimalistic 2D turn-based tactical game in Rust

Rust crate to implement a counterpart to the PBRT book's (3rd edition) C++ code. See also https://www.rs-pbrt.org/about ...

PBR rendering example/experiment with rendy

Deep learning superresolution in pure rust

A Rust crate for automatically generating C header files from Rust source file.

Alternative Mizar proof checker (http://mizar.org/) written in Rust

Library implementing type inference/checking functionality based on the Lean theorem prover

Rust bindings for the Lean 4 proof assistant

Concurrent hash map for Rust

DRAT proof processor

parser/viewer for olean files (lean 3)

lean doc_string latex generator

Repository for developing a Cargo build extension to support lean.