Jonas Jensen jbj

• GitHub Staff
• UTC+1

Popular repositories Loading

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

   C 10 3

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

   Coq 3 2

3. Forked from Haskell-Things/ImplicitCAD

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

   Haskell 1 1

4. LILYGO T-CAN485 configuration for ESPHome

   1

5. Dantherm dehumidifier CDP/CDP-T/CDF 40-50-70 configuration for ESPHome and Home Assistant

   1

6. Random collection of half-finished 3D printing designs

   Haskell 2