EricCrosson/rubiks-cube-induction
A way to convince myself that my attempt at a formal proof wouldn't be doomed from the start
Developer Profile
EricCrosson
Discovered public repositories for EricCrosson in the GitHub catalog.
EricCrosson/twinkle-fingers
Write emacs lisp by just pressing the bindings for commands
EricCrosson/ambient-led-lighting
An arduino script that I use to control some ambient lighting in my flat
EricCrosson/invisibleman
A unit testing framework to orchestrate an arbitrary number of remote hosts through SSH
EricCrosson/image-processing
A functional image processing project, with convolution over a supplied image.
EricCrosson/ticalc-main
A collection of calculator programs for the TI-83 family.