gzm0/ct-notes
Notes for category theory sessions at LAMP
Public GitHub Catalog
Discovered Sep 30, 2026
gzm0 / dotty
Research platform for new language concepts and compiler technologies for Scala.
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.
#17015514GitHub System ID
gzm0Organization / User
PublicVisibility
ActiveCatalog Status
More from gzm0
gzm0/scala-js-binding
ScalaJS html binding library
gzm0/scala-parser-combinators
Scala Standard Parser Combinator Library
gzm0/papa-carlo
Constructor of incremental parsers in Scala