Popular repositories

1. magicrescue

   Not under active development. Magic Rescue was a tool for recovering files from a corrupted file system.

   C 2 4

2. x86proved

   Archive of http://x86proved.codeplex.com, a Coq theory of x86 machine code

   Coq 1 2

3. ImplicitCAD

   Forked from colah/ImplicitCAD

   A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation...

   Haskell 1

4. things

   Random collection of half-finished 3D printing designs

   Haskell 1

5. FsAutoComplete

   Forked from fsharp/FsAutoComplete

   F# compiler service API exposed via a console application

   F# 1

6. jbj.github.io

   Personal web site

   HTML 1