reflectionalist/S9fES
Scheme 9 from Empty Space
Public GitHub Catalog
Discovered Sep 26, 2026
reflectionalist / Hypercube
A Haskell implementation of cumulative Universal Type Theory with a single binder
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.
#8487488GitHub System ID
reflectionalistOrganization / User
PublicVisibility
ActiveCatalog Status
More from reflectionalist
reflectionalist/Liscal
A Scheme dialect in Rascal
reflectionalist/rascal
The core interpreter of the Rascal meta-programming language
reflectionalist/Bibliographies
Public repository.