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

Fuzzing Go crypto

A tool for finding large memcpy's in llvm ir

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

async for rust without the noise

A reverse OpenID Connect and OAuth 2 proxy, implementing the client-credentials flow.