skymountain/automata
Public repository.
Public GitHub Catalog
Discovered Sep 24, 2026
skymountain / sysf
interpreter of System F and the derived type systems.
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.
#812403GitHub System ID
skymountainOrganization / User
PublicVisibility
ActiveCatalog Status
More from skymountain
skymountain/dcc
Public repository.
skymountain/euler
Project Euler
skymountain/SML
Algorithms and Data structures