jonsterling/evaluation-by-locality
Public repository.
Public GitHub Catalog
Discovered Nov 2, 2026
jonsterling / sml-nominal-sets
Public repository discovered through GitHub real-time crawl.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#48261986GitHub System ID
jonsterlingOrganization / User
PublicVisibility
ActiveCatalog Status
More from jonsterling
jonsterling/language-sml
Standard ML language support for Atom
jonsterling/sml-modernized-algol
Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees
jonsterling/agda-groupoids
Groupoids in Agda with no postulates (by Darin Morrison)