lexxx320/pi-forall
A demo implementation of a simple dependently-typed language
Public GitHub Catalog
Discovered Oct 2, 2026
lexxx320 / TheoryThinkTank
Repository for the RIT Theory Think Tank
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.
#23800405GitHub System ID
lexxx320Organization / User
PublicVisibility
ActiveCatalog Status
More from lexxx320
lexxx320/PersonalProjects
Public repository.