namin/dot-calculus
Formalization of the Dependent Object Types (DOT) calculus
Public GitHub Catalog
Discovered Sep 27, 2026
namin / lambdajam
Workshop on Program Transformations
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.
#11259139GitHub System ID
naminOrganization / User
PublicVisibility
ActiveCatalog Status
More from namin
namin/MMusicScala
Public repository.
namin/ScalaMusicGeneration
This project aim to developp support for music generation in Scala
namin/scala-yinyang
Library for deep embedding of DSLs based on Scala macros.