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

Discussions for the Proof Ladder project(s)

A set of increasingly complex cryptographic proofs for simple symmetric primitives, to be formalised in various formal verification tools.

🪅 Windows & Linux userspace emulator

An Emacs-style scratch buffer for executing Lua inside Neovim