akaisiro

MIRAI

Rust mid-level IR Abstract Interpreter

creusot

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

miri

An interpreter for Rust's mid-level intermediate representation

kani

Kani Rust Verifier

egui

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

hashbrown

Rust port of Google's SwissTable hash map

presentations

spacedrive

Spacedrive is an open source cross-platform file explorer, powered by a virtual distributed filesystem written in Rust.

plotters

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

goscript

An alternative implementation of Golang specs, written in Rust for embedding or wrapping.

passerine

A small extensible programming language designed for concise expression with little code.

sphinx-lang

An intepreter for a simple dynamic language written in Rust

atuin

✨ Magical shell history

sccache

Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various cloud storage options, or alternatively, in local storage.

crumsort

A branchless unstable quicksort / mergesort that is highly adaptive.

inside-rust-std-library

本书已经正式出版，目前正预售，可在京东搜索《深入RUST标准库》即可。本书主要对RUST的标准库代码进行分析，并试图给出RUST标准库代码的分析脉络。This project try to give a venation of how reading the RUST standard library source code.

didyoumean

A CLI spelling corrector for when you're unsure

pnpm

Fast, disk space efficient package manager

ariadne

A fancy diagnostics & error reporting crate

chumsky

Write expressive, high-performance parsers with ease.

pomsky

A new, portable, regular expression language

HVM

A massively parallel, optimal functional runtime in Rust

smol-zines

sketching out concepts one 📝 at a time

bet

Build and evaluate binary expression trees

delta

A syntax-highlighting pager for git, diff, grep, and blame output

ripgrep

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

rustdesk

An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.

polars

Dataframes powered by a multithreaded, vectorized query engine, written in Rust

orange

Cross-platform local file search engine.

savage

A primitive computer algebra system