Rick Hennigan's repositories

CodeEquivalenceUtilities

Utilities for testing code equivalence

Language:MathematicaLicense:MITStargazers:7Issues:2Issues:0
Language:MathematicaLicense:MITStargazers:4Issues:0Issues:0
Language:MathematicaLicense:MITStargazers:3Issues:0Issues:0
Language:MathematicaLicense:GPL-2.0Stargazers:1Issues:0Issues:0
Language:MathematicaLicense:MITStargazers:1Issues:0Issues:0
Language:MathematicaLicense:MITStargazers:1Issues:1Issues:0
Language:MatlabStargazers:0Issues:0Issues:0
Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0
Language:MathematicaLicense:MITStargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:0Issues:0

cs102

Computing II

Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0
Language:MathematicaStargazers:0Issues:0Issues:0
Language:MathematicaStargazers:0Issues:0Issues:0

Organizer

Notebook interface application for organizing notes and to-dos

Language:MathematicaStargazers:0Issues:0Issues:0
Language:MathematicaStargazers:0Issues:0Issues:0
Language:MathematicaStargazers:0Issues:0Issues:0
Language:CStargazers:0Issues:0Issues:0
License:MITStargazers:0Issues:2Issues:0
Language:JavaScriptStargazers:0Issues:2Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0

Wireworld

Wireworld: a Turing-complete cellular automaton suited for simulating logic gates and other real-world computer elements

Language:MathematicaStargazers:0Issues:1Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0