forestbelton/typecalc
generate data types with type arithmetic
Public GitHub Catalog
Discovered Oct 3, 2026
forestbelton / anima
A simple dependently-typed programming language
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.
#28506939GitHub System ID
forestbeltonOrganization / User
PublicVisibility
ActiveCatalog Status
More from forestbelton
forestbelton/.emacs.d
it is what it is
forestbelton/Dancer-Session-Redis-JSON
Session store in Redis with JSON serialization
forestbelton/sheaf
scheme os