EricCrosson/rubiks-cube-induction
A way to convince myself that my attempt at a formal proof wouldn't be doomed from the start
A functional image processing project, with convolution over a supplied image.
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 unit testing framework to orchestrate an arbitrary number of remote hosts through SSH