A cat(1) clone with wings.

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

A command-line benchmarking tool

⭐️ A friendly language for building type-safe, scalable systems!

Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

Count your code, quickly.

Rayon: A data parallelism library for Rust

Rust parser combinator framework

An experimental next-generation Electron-based text editor

An interpreter for Rust's mid-level intermediate representation

Zero-cost asynchronous programming in Rust

[maintenance mode] A low-overhead Vulkan-like GPU API for Rust.

Find files with SQL-like queries

Safe OpenGL wrapper for the Rust language.

A static, type inferred and embeddable language written in Rust.

Raft distributed consensus algorithm implemented in Rust.

High-performance runtime for data analytics applications

📝 Compile-time HTML templates for Rust

2D graphics rendering on the GPU in rust using path tessellation.

Idiomatic, GTK+-based, GUI library, inspired by Elm, written in Rust

A modern Prolog implementation written mostly in Rust.

A new kind of terminal

The missing batteries of Rust

Represent large sets and maps compactly with finite state transducers.

Vagga is a containerization tool without daemons

UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

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

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

A free book about developing secure and robust systems software.