Entirety of `rustc`, translated to C.

Open source plural system tracker. Selfhostable, optional managed service backend, API-first design, supports imports from 7+ other trackers, 100% open-source, web/mobile/wearable apps, by systems …

Rust-based tool that automates the generation of RISC-V runtime initialization code

Refinement Types for Rust

Rosenpass is a post-quantum-secure VPN that uses WireGuard to transport the actual data.

The HOL Light theorem prover

A very fast linker for Linux

Analysis tool to assess (HW/SW) system security against fault-injection attacks

Pythonic AI crawler tarpit

💎 Amber the programming language compiled to Bash/Ksh/Zsh

A library of modular, tapeout-proven, and secure-by-default open silicon blocks

Full-featured terminal user interface for Mullvad VPN, with mouse support

TRUST – Coding Rust like it's 1989

Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203

Library for reducing tail latency in RAM reads

Trap AI web scrapers in an endless poison pit.

3D files, schematics, and documentation for the CG Deck—an open-source, modular, and handheld x86 mini-computer.

Circuit Simulator with Breadboard UI

Security considerations guidance on ML-DSA as defined in FIPS 204

Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat

Finally, complete mechanized proofs of Signal's PQXDH & Double Ratchet!

Simple web app to generate images based on xkcd 2501 ("Average Familiarity")

A CLI batch downloader for your Bandcamp collection.

Low level control GUI for the PipeWire multimedia server

The rust bindings for Unicorn Engine

Cryptographic protocol analysis for real-world protocols.

Cycle-tracking garbage collector library for Rust

An experimental safe multimedia toolkit

Assembly super-optimization via constraint solving