sstucki/system-f-agda
A formalization of the polymorphic lambda calculus extended with iso-recursive types
Public GitHub Catalog
Discovered Sep 26, 2026
sstucki / lms-kappa
LMS-based Kappa simulator
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.
#6813391GitHub System ID
sstuckiOrganization / User
PublicVisibility
ActiveCatalog Status
More from sstucki
sstucki/pa-ode-gen
The Preferential Attachment ODE GENerator
sstucki/virtualization-lms-core
A Framework for Runtime Code Generation and Compiled DSLs
sstucki/scala.github.com
Public repository.