Run any Linux process in a secure, unprivileged sandbox using Landlock. Think firejail, but lightweight, user-friendly, and baked into the kernel.

Visualize Ownership and Lifetimes in Rust

A process for automating Docker container base image updates.

Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.

A FPGA friendly 32 bit RISC-V CPU implementation

A 120-day CUDA learning plan covering daily concepts, exercises, pitfalls, and references (including “Programming Massively Parallel Processors”). Features six capstone projects to solidify GPU par…

🕳 bore is a simple CLI tool for making tunnels to localhost

A modular stack for zkVMs, with a focus on productivity, security and performance.

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

A syntax-highlighting pager for git, diff, grep, and blame output

A performant and modular zkVM framework built for customization and extensibility.

Multilingual BLS12-381 signature library

Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol

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

Succinct's Production-Grade Proving Engine for the OP Stack

Template to develop bare metal applications for Cortex-M microcontrollers

An interpreter for Rust's mid-level intermediate representation

Create mind maps to learn new things using AI.

Multi functional app to find duplicates, empty folders, similar images etc.

Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.

a portable and fast pairing-based cryptography library

🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.

Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.

Internet Computer blockchain source: the client/replica software run by nodes

Cross-platform GUI written in Rust using ADB to debloat non-rooted android devices. Improve your privacy, the security and battery life of your device.

A new type of shell

The GitButler version control client, backed by Git, powered by Tauri/Rust/Svelte

Python implementations of FIPS 203,204,205 (+ python wrappers for NIST's ACVP-Server crypto code)