Bike Brigade's dispatching software! 🚴

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

An archive for your ephemera, research, and notes.

These are my dotfiles, there are many like them but these ones are mine

Some of my .nix files

Developing useless widgets in Forth with the Wikireader.

Actions for running CodeQL analysis

Thousand Island is a pure Elixir socket server

Master programming by recreating your favorite technologies from scratch.

🖖 A vue-cli 3.0 + typescript minimal admin template

📡 A Mac menubar app that notifies you whenever SSH, VNC, sudo, or other auth events occur.

CEFS: CentOS Errata for Spacewalk

Sweet web apis with Compojure & Swagger

A daemon package for use with Go (golang) services

Hack to dump Objective-C class/method information using the Objective-C runtime.

Android small footprint inspection tool

Swank backend for Node.JS and in-browser JavaScript

A database of vulnerable Ruby Gems

Patch-level verification for Bundler

A simple ruby authentication solution.

Takes a snapshot with your Mac's built-in iSight/FaceTime webcam every time you git commit code, and archives a lolcat style image with it.

Rails plugin to conveniently handle multiple models in a single form.

github pages is the new geocities

A basic form builder for outputting Bootstrap-specific markup

Clone an Android Virtual Device for easy distribution through the Android SDK Manager.

SSL MitM proxy with some nice features

Clone an Android Virtual Device for easy distribution through the Android SDK Manager.

iPhone security labs

Android security labs

Server component of the mobile labs