Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Forked from mmirman/haskogeneous
A personal web framework in Haskell
Haskell 2 1
A program using the Curry-Howard isomorphism to check and produce typeset proofs from a proof term
Haskell 1 1
C++ 1
Forked from annzabelle/OpenBeam-Tantillus
OpenSCAD files for a tantillus(3d printer) variant using an OpenBeam frame.
OpenSCAD 1
Forked from Bellevue-Wolverine-Robotics/Wolverine-Robotics-Power-Up
Wolverine Robotics Power Up robot code. No stealing ;-)
Java 1
Forked from github/codeql
CodeQL
There was an error while loading. Please reload this page.