Popular repositories Loading

1. magicrescue magicrescue Public

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

   C 10 4

2. x86proved x86proved Public

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

   Coq 3 2

3. t-can485-esphome t-can485-esphome Public

   LILYGO T-CAN485 configuration for ESPHome

   3

4. ImplicitCAD ImplicitCAD Public archive

   Forked from Haskell-Things/ImplicitCAD

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

   Haskell 1 1

5. dantherm-cdp-cdf dantherm-cdp-cdf Public

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

   1

6. typescript-static-template typescript-static-template Public template

   A TypeScript static web app template with layered docs, verification, and CI-gated GitHub Pages deployment.

   JavaScript 1