Pinned Loading

1. SQLab/CRAXplusplus SQLab/CRAXplusplus Public

   The exploit generator CRAX++ is CRAX with a plugin system, s2e 2.0 upgrade, dynamic ROP, code selection, and I/O states (HITCON 2022)

   C++ 99 15

2. S2E/s2e S2E/s2e Public

   S2E: A platform for multi-path program analysis with selective symbolic execution.

   C++ 456 90

3. vigilante vigilante Public

   🧛 Vampire themed metroidvania game written in C++20 and Axmol. Team up with NPCs and go on an adventure together!

   C++ 94 13

4. valkyrie valkyrie Public

   🔮 A UNIX-like toy kernel built from scratch which runs on a real rpi3b+, with preemptive multithreading, CoW fork(), VM, VFS, FAT32

   C++ 76 8

5. wmderland wmderland Public

   🌳 X11 tiling window manager using space partitioning trees

   C++ 409 15

6. dotfiles dotfiles Public

   📦 KDE+wmderland: GNU/Linux dotfiles managed via GNU stow

   Shell 109 7