Remove unused Rust dependencies with this one weird trick!

Access large language models from the command-line

Inline Python code directly in your Rust code

Record and Replay Framework

Authentication & payments on the web

🧟 Inject bugs and see if your tests catch them!

Use your Neovim like using Cursor AI IDE!

A new type of shell

Kani Rust Verifier

AeroSpace is an i3-like tiling window manager for macOS

💤 A modern plugin manager for Neovim

Monero: the secure, private, untraceable cryptocurrency

Macros + Primitives for PADE format

Home of OpenVMM and OpenHCL.

A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Linux guests, device offload with vhost-user and a minimal com…

Async-friendly QUIC implementation in Rust

A blazingly fast general purpose blockchain analytics engine specialized in systematic mev detection

A binary encoder/decoder for Rust

Removes large or troublesome blobs like git-filter-branch does, but faster. And written in Scala

Minimalistic snapshot testing for Rust.

aHash is a non-cryptographic hashing algorithm that uses the AES hardware instruction

Extremely fast non-cryptographic hash algorithm

A library for building fast, reliable and evolvable network services.

An axiom-free formalization of category theory in Coq for personal study and practical work

Hurl, run and test HTTP requests with plain text.

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Client libraries for Tendermint/CometBFT in Rust!

a debugger for async rust!

Multi-party computation libraries written in Rust 🦀