Concurrent decision diagram framework written in Rust

Run experiments across parts of the Rust ecosystem!

Automatic verification of LLVM optimizations

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

A friendly programming language from the future

Incremental computation through constrained memoization.

General-purpose abstractions for incremental computing, in Rust

🚂 🦀 The one-person framework for Rust for side-projects and startups

Rust library for build scripts to compile C/C++ code into a Rust library

Blazing 💥 fast terminal-ui for git written in rust 🦀

Type-driven code generation for OCaml

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Limbo is a project to build the modern evolution of SQLite.

Rust parser combinator framework

Rust for Windows

An extremely fast Python package and project manager, written in Rust.

❌ Cargo plugin for linting your dependencies 🦀

A safe and fast multi-producer, multi-consumer channel.

A bunch of links to blog posts, articles, videos, etc for learning Zig

Rust for Debug Interface Access (DIA) SDK

UB-free and deterministic rustc fuzzer

Optimized string search routines for Rust.

PDF reader for terminal emulators using the Kitty image protocol

Application lifecycle orchestration

A tiling window manager for Windows 🍉

Python package for Sentential Decision Diagrams (SDD)

Application level tracing for Rust.

Home of OpenVMM and OpenHCL.

Improve keyboard comfort and usability with advanced customization

Simple Zig programs that demonstrate good practices to accomplish common programming tasks.