index
NameDescriptionOwnerIdle
presentationsSource material for presentations I have given 19 months
flexgrid[no description]5 years
puzzlefest.org[no description]20 months
puzzle-solving[no description]10 months
generativean exploration in generative art Casey Robinson10 months
fmformal methods Casey Robinson4 weeks
rampantmonkeymachine configuration and website Casey Robinson8 weeks
ggpgeneral game playing Casey Robinson10 months
icexperiments with modeling integrated circuits Casey Robinson3 weeks
gbgameboy emulation Casey Robinson10 months
penelopea hyper-personal assistant Casey Robinson7 weeks
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
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 Robinson23 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
dcphrWebsite for the annual DC Puzzle Hunt Race. Casey Robinson9 weeks
puzzlescollection of physical puzzles I have created Casey Robinson4 months
junkyardscrap heap of prototypes and programming experiments Casey Robinson2 months
colonydecentralized messaging platform Casey Robinson17 months
syndicatea collection of tools for buildling and running web services Casey Robinson6 days
idris_playgrounda place to experiment with idris Casey Robinson18 months