Archive of http://x86proved.codeplex.com, a Coq theory of x86 machine code
Forked from colah/ImplicitCAD
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation...
Forked from mchidk/BinaryRage
Random collection of half-finished 3D printing designs
Forked from fsharp/FsAutoComplete
F# compiler service API exposed via a console application
Personal web site