Wii U Gamepad Simulator Backend

Wii U Gamepad Simulator Frontend

Wii U Gamepad Simulator Backend

Wii U Gamepad Simulator Backend

Testing processors with Random Instruction Generation

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

Tracking the deployment of surveillance tech against Northeastern ISEC students

Embedded Controller firmware for the Framework Laptop

A small, fast, native lisp with "magical" powers

🚀 Bring your favorite shell wherever you go through the ssh. Xonsh shell, fish, zsh, osquery and so on.

A digital version of the 7 Wonders board game

Userspace tool to disable middle mouse button paste in Xorg

A quick ability to add a Slack icon to the social menu of Twentyseventeen

Custom Wordpress + Timber theme for Generate Product Development Studio

Miscelenous

It's a New Kind of Wrapper for Exposing LLVM (Safely)

Google motion photos video extractor

ACL2 System and Books as Maintained by the Community

Common Lisp packrat parser

Parameterized ergonomic keyboard

Colorized output on ANSI terminals, print tables of lists, plists, hash-tables, titles, banners and more

Count the number of people around you 👨‍👨‍👦 by monitoring wifi signals 📡

OpenSCAD DSL in Clojure

Iris keyboard build with custom case

52-key split keyboard

Ergonomic split mechanical keyboard

Chip8 emulator with a JIT core (dynamic recompilation, target x86-32)

Introduction to Dynamic Recompilation in Emulation

Adds an extensive set of space station parts to Kerbal Space Program