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.

Rust tool to detect cell site simulators on an orbic mobile hotspot

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 User Space Emulator

An Emacs-style scratch buffer for executing Lua inside Neovim

Full-throttle, wire-speed hardware implementation of Wireguard VPN, using low-cost Artix7 FPGA with opensource toolchain. If you seek security and privacy, nothing is private in our codebase. Our d…

A library for producing terminal plots.

Minimalist Doom IWAD

Smaller version of doom1.wad

Ariel OS is a library operating system for secure, memory-safe, low-power Internet of Things, written in Rust

A monitor of resources

A modern formatting library

An incremental, gamified introduction to Rust and computer science fundamentals

This repo, apparently written by AI, contains root LPE in its default config

You can have a silly GitHub repo, as a treat.

An Arduino API that sits on top of Linux and other operating systems. This lets you run Arduino code on Raspberry PI, desktops, etc... All as a standard user-space application.

A secure embedded operating system for microcontrollers

Hybrid PQ/T Key Encapsulation Mechanisms

Your favourite Haskell type classes for Rust

Armory Drive - USB encrypted drive with mobile unlock over BLE

Tree-sitter grammar and syntax highlight for the Tamarin Prover theory files

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.