namin/dot-calculus
Formalization of the Dependent Object Types (DOT) calculus
Public GitHub Catalog
Discovered Sep 25, 2026
namin / scalding-commoncrawl
Public repository discovered through GitHub real-time crawl.
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.
#3726510GitHub 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.