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