eamsden/mk-dependent-tc
Typechecker for a dependently typed LC in MiniKanren
Public GitHub Catalog
Discovered Sep 24, 2026
eamsden / Animas
a fork of the Yampa combinator library for FRP
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.
#1217360GitHub System ID
eamsdenOrganization / User
PublicVisibility
ActiveCatalog Status
More from eamsden
eamsden/rocket
Procedurally generated rocket parts
eamsden/ImplicitCAD
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation...
eamsden/icfp-contest-14
2014 ICFP contest working repo