eamsden/mk-dependent-tc
Typechecker for a dependently typed LC in MiniKanren
Public GitHub Catalog
Discovered Oct 2, 2026
eamsden / ImplicitCAD
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation...
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#24220518GitHub System ID
eamsdenOrganization / User
PublicVisibility
ActiveCatalog Status
More from eamsden
eamsden/rocket
Procedurally generated rocket parts
eamsden/icfp-contest-14
2014 ICFP contest working repo
eamsden/eamsden.github.io
Writings/bloggings