sstucki/pa-ode-gen
The Preferential Attachment ODE GENerator
Public GitHub Catalog
Discovered Oct 6, 2026
sstucki / system-f-agda
A formalization of the polymorphic lambda calculus extended with iso-recursive types
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.
#31376869GitHub 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