EricCrosson/rubiks-cube-induction
A way to convince myself that my attempt at a formal proof wouldn't be doomed from the start
A unit testing framework to orchestrate an arbitrary number of remote hosts through SSH
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
A way to convince myself that my attempt at a formal proof wouldn't be doomed from the start
Write emacs lisp by just pressing the bindings for commands
An arduino script that I use to control some ambient lighting in my flat
A functional image processing project, with convolution over a supplied image.