namin/dot-calculus
Formalization of the Dependent Object Types (DOT) calculus
Public GitHub Catalog
Discovered Sep 30, 2026
namin / musical-creativity
Models of Musical Creativity (in Clojure)
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.
#17473859GitHub 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.