Andrew Walter's starred repositories
drc-sim-client
Wii U Gamepad Simulator Frontend
smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
isec-sensors-scandal
Tracking the deployment of surveillance tech against Northeastern ISEC students
EmbeddedController
Embedded Controller firmware for the Framework Laptop
seven-wonders
A digital version of the 7 Wonders board game
XMousePasteBlock
Userspace tool to disable middle mouse button paste in Xorg
twentyseventeen-social-slack
A quick ability to add a Slack icon to the social menu of Twentyseventeen
generate-theme
Custom Wordpress + Timber theme for Generate Product Development Studio
dactyl-keyboard
Parameterized ergonomic keyboard
cl-ansi-term
Colorized output on ANSI terminals and more
howmanypeoplearearound
Count the number of people around you :family_man_man_boy: by monitoring wifi signals :satellite:
redox-keyboard
Ergonomic split mechanical keyboard
Super8_jitcore
Chip8 emulator with a JIT core (dynamic recompilation, target x86-32)
Dynarec_Guide
Introduction to Dynamic Recompilation in Emulation
StationPartsExpansionRedux
Adds an extensive set of space station parts to Kerbal Space Program