Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

Future-based Tungstenite for Tokio. Lightweight stream-based WebSocket implementation

Lightweight stream-based WebSocket implementation for Rust.

The Nexus zkVM: The zero-knowledge virtual machine

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

The Rust toolchain installer

An async ORM for Rust (incubating)

Home of OpenVMM and OpenHCL.

Eclipse iceoryx2™ - true zero-copy inter-process-communication in pure Rust

A Rust crate for beautiful, artisanally crafted CLIs, TUIs, and text-based IO.

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another th…

Analyze ELF binaries like a boss 😼🕵️‍♂️

Core POSIX command line utilities in safe Rust

Create book from markdown files. Like Gitbook but implemented in Rust

CUDA on non-NVIDIA GPUs

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

🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.

A more intuitive version of du in rust

Secure & Modern All-in-One Mail Server (IMAP, JMAP, POP3, SMTP)

Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

A library crate similar to the standard Rust `alloc` crate that is guaranteed to never panic

Some more derive(Trait) options

A search engine for Rust

An Open Source Pixelart Science-Fiction Real-Time-Strategy game

Multi-platform high-performance compute language extension for Rust.

NativeLink is an open source high-performance build cache and remote execution server, compatible with Bazel, Buck2, Reclient, and other RBE-compatible build systems. It offers drastically faster b…

Koka language compiler and interpreter

Tool for safe ergonomic Rust/C++ interop driven from existing C++ headers

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

A Flash Player emulator written in Rust