r
rdmarsh2
17 repositories
26 followers
Repositories
Select a repository to view its commits, contributors, and more.public
arduino-SAMD11-joystick
C++
1
0
0
Updated 2 years ago
public
chiso-tex
A program using the Curry-Howard isomorphism to check and produce typeset proofs from a proof term
Haskell
1
1
0
Updated 3 years ago
public
gemma-m0-lightshow
Frequency analyzer based Neopixel lightshow for the Adafruit Gemma M0
C++
0
0
0
Updated a year ago