Refinement Types in (unstable) Rust

Provides branch hinting and control functions for stable Rust

a structural diff that understands syntax 🟥🟩

Library implementing type inference/checking functionality based on the Lean theorem prover

Graph-native code intelligence that replaces embedding-based RAG with deterministic program understanding.

Command-line sampling profiler for macOS, Linux, and Windows

Implementation and proofs of algorithms from Hackers' Delight

A lightweight process isolation tool that utilizes Linux namespaces, cgroups, rlimits and seccomp-bpf syscall filters, leveraging the Kafel BPF language for enhanced security.

Pair your compilers up at The ABI Cafe!

Code coverage tool using IntelPin

Demonstration of various hardware effects.

Integer types with customizable niche values

🔒 Trezor Firmware Monorepo

Delicately-TUICed 0-RTT proxy protocol

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

Cryptographic Addition Chain Generation in Go

Rust's std::net except without the std.

Synchronization primitives for lazy and one-time initialization (no_std compatible).

Type-safe transmutations between layout-compatible types.

Integration with OS certificate stores for rustls

JOSE (JSON Web Token) Library for Rust

This crate guarantees that your application is free of panicking branches

A transparent, highly scalable and cryptographically verifiable data store.

Proposal for automatically setting an iframe height via HTML/CSS

A browser API to prevent DOM-Based Cross Site Scripting in modern web applications.

OpenType Unicode fonts for Scientific, Technical, and Mathematical texts

Fast json encoder in rust, that encodes the structure of JSON values in their types

An RPKI library for Rust

Scroll - making scrolling through buffers fun since 2016

The TPM Software Stack from Microsoft Research