Pinned Loading

1. S2E/s2e S2E/s2e Public

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

   C++ 475 95

2. 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++ 102 15

3. wmderland wmderland Public

   🌳 X11 tiling wm using space partitioning trees (SITCON 2019)

   C++ 411 15

4. dotfiles dotfiles Public

   📦 Running wmderland on the top of KDE Plasma 5

   Shell 108 7

5. requiem requiem Public

   🧛 Vampire themed metroidvania game written in C++20 and Axmol

   C++ 99 12

6. valkyrie valkyrie Public

   🔮 NYCU Operating System Capstone, Spring 2021

   C++ 79 8