Pinned Loading

1. S2E/s2e S2E/s2e Public

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

   C++ 529 96

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++ 105 16

3. requiem requiem Public

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

   C++ 111 14

4. valkyrie valkyrie Public

   🔮 UNIX-like monolithic kernel for RPi3B+ (NYCU OSDI, Spring 2021)

   C++ 79 8

5. wmderland wmderland Public

   🌳 X11 tiling window manager using space partitioning trees

   C++ 408 13

6. dotfiles dotfiles Public

   📦 Running wmderland on the top of KDE Plasma 5

   Shell 108 6