namin/dot-calculus
Formalization of the Dependent Object Types (DOT) calculus
Public GitHub Catalog
Discovered Sep 25, 2026
namin / scalastyle
scalastyle
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#5160916GitHub 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.