namin/scala-yinyang
Library for deep embedding of DSLs based on Scala macros.
Public GitHub Catalog
Discovered Sep 25, 2026
namin / dot
formalization of the Dependent Object Types (DOT) calculus
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.
#3261325GitHub System ID
naminOrganization / User
PublicVisibility
ActiveCatalog Status
More from namin
namin/black
Kenichi Asai's reflective programming language Black
namin/implicits-demo
Implicits in Practice (demo at ML Family Workshop 2014)
namin/InteractiveScheme
Public repository.