namin/dot-calculus
Formalization of the Dependent Object Types (DOT) calculus
Public GitHub Catalog
Discovered Sep 29, 2026
namin / grk2clj
From Greek to Clojure, Clojure/conj 2013
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.
#14411909GitHub 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.