eamsden/ghc-mod
Happy Haskell programming for editors
Procedurally generated rocket parts
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Happy Haskell programming for editors
Typechecker for a dependently typed LC in MiniKanren
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation...
2014 ICFP contest working repo