A reference architecture for differential fuzzing using a formally verified oracle

CLI tool to measure spec coverage in Rust codebases

Vigil, the eternal morally vigilant programming language

Compile MDX to JavaScript in Rust

Process isolation for Linux using namespaces, resource limits, cgroups, landlock and seccomp.

Build system infra on top of picante

What if salsa but tokio-friendly

A salsa-infused static site generator

TaPaSCo Runtime for NIST PQC Algorithms

Occlum is a memory-safe, multi-process library OS for Intel SGX

A library OS for Linux multi-process applications, with Intel SGX support

A thread-per-core Rust runtime with IOCP/io_uring/polling.

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

Rust GUI components for building fantastic cross-platform desktop application by using GPUI.

Type that deserializes only from one specific value

Asynchronous streams for Rust using async & await notation

A native gRPC client & server implementation with async/await support.

Flower: A Friendly Federated AI Framework

Browser extension that simplifies the GitHub interface and adds useful features

GlueSQL is quite sticky. It attaches to anywhere.

A programming language that is higher level than Rust but lower level than Go. Someday, anyways.

egraphs + datalog!

Error handling that is precise, no boilerplate, ergonomic, context aware, and performant

Main gperftools repository

Proof concept implementation of the COPZ25 garbling scheme

Simple utility to debloat Windows in 2 clicks.

Slab allocator for Rust