A scope for async_std and tokio to spawn non-static futures

Scoped Runtime for tokio

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦

Fully typed LMDB wrappers with minimum overhead 🐦

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

A light windows GUI toolkit for rust

Disk handling with Rust

The fast sync and async channel that Rust deserves

A realtime raytracing extension chip for the SNES

Mimicking tokio functionalities on web browsers

Real-time Data Integration and Transformation: use SQL to transform, deliver, and act on fast-changing data.

A memory efficient string type that can store up to 24* bytes on the stack

PromQL Rust parser

Linear algebra foundation for the Rust programming language

A Rust app to Install and Update GE-Proton for Steam, and Wine-GE for Lutris

Fault-tolerant async actors for Rust that scale seamlessly

High-performance Merkle key/value store

Support for Miniscript and Output Descriptors for rust-bitcoin

A low-level, versioned, embedded, ACID-compliant, key-value database for Rust

An embedded key-value database in pure Rust

Pure Rust implementation of the PLONK ZKProof System done by the Dusk team

Decentralized Custody Engine for Bitcoin

A high performance rust-powered UI layout library

A Rust Implementation of the PLONK ZKP System and Extensions

Rust mid-level IR Abstract Interpreter

A cross-platform GUI library for Rust, inspired by Elm