💻 🔒 🔑 Secure Boot key manager

Tool to read out Corsair RMi PSUs

free alternative firmware for the DLink DNS-320/320L/321/323/325/327L

distributed Python deployment and communication

Export Isabelle theories to HTML with full syntax highlighting

DevJam 2020: In-game NOC boards

shapez is an open source base building game on Steam inspired by factorio!

An open source CPE implementation of MAP-E/MAP-T which can be run on Linux and Openwrt.

Like Keybase but distributed

C++20 build tool for Windows/Linux/OSX/BSD - GCC/CLANG/ICC/MSVC/NVCC - x86/x64/ARM(64)

C++20 kommon usage library - cross platform wrapper for file system/processes/ipc/threads etc

C++14 File text remover

A web browser engine for the space age 🚀

Exploit generator for Intel ME 11 buffer overflow

Display, extract, and manipulate PSP firmware inside UEFI images

Linux i386 tool to load and execute ME modules.

PlayStation 1 voxel engine

A service manager that is able to run "traditional" systemd services, written in rust

Pano Logic G2 Reverse Engineering Project

🌄 Windows XP window decorations for KDE Plasma

russianroulette.sh

Experiments in bootstrapping from bare-metal

A bookmarklet for translating marketing speak into human-readable text. 💩

amd64-only linux-only strace alternative that just barely works

Haskell to C++ using Conal Elliott's "Compiling To Categories"

Linux driver for the HardDoom ][™ PCI device.

A truly monstrous async web chat using no JS whatsoever on the frontend

A library to create panels and other desktop components for Wayland using the Layer Shell protocol