In Progress
fmformal methods Casey Robinson13 days
rampantmonkeymachine configuration and website Casey Robinson11 days
Linty Crepe
spatialExploration of drawing algorithms Casey Robinson3 weeks
presentationsSource material for presentations I have given 19 months
fibgovarious implementations of fibonacci sequence Casey Robinson4 years
qmk_firmwareFirmware generation for ergodox Casey Robinson3 years
onetimeTwo-Factor-Authentication client for TOTP based services Casey Robinson5 years
raytraceutf-8 raytracer Casey Robinson4 years
flexgrid[no description]5 years
neighborhoodsdetermine neighborhood that incloses a given pair of GPS coordinates Casey Robinson5 years
node-doublycircularDoubly circular linked list Casey Robinson5 years
z3rust wrapper for z3 and example projects Casey Robinson24 months
httpstatusesfriendly names for HTTP status codes Casey Robinson3 years
mazesmaze generator inspired by "Mazes for Programmers" Casey Robinson4 years
nuc_clusterDrawings for nuc cluster frame in Clojure/OpenSCAD Casey Robinson3 years
Puzzling[no description]20 months
dcphrWebsite for the annual DC Puzzle Hunt Race. Casey Robinson3 months
puzzle-solving[no description]11 months
puzzlescollection of physical puzzles I have created Casey Robinson5 months
generativean exploration in generative art Casey Robinson10 months
junkyardscrap heap of prototypes and programming experiments Casey Robinson3 months
colonydecentralized messaging platform Casey Robinson17 months
syndicatea collection of tools for buildling and running web services Casey Robinson4 weeks
ggpgeneral game playing Casey Robinson11 months
icexperiments with modeling integrated circuits Casey Robinson7 weeks
gbgameboy emulation Casey Robinson11 months
penelopea hyper-personal assistant Casey Robinson2 months
idris_playgrounda place to experiment with idris Casey Robinson18 months