seba--/i3QL
Public repository.
Public GitHub Catalog
Discovered Sep 25, 2026
seba-- / PLT2011
Material for the course on Programming Languages and Types at University of Marburg
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.
#2940560GitHub System ID
seba--Organization / User
PublicVisibility
ActiveCatalog Status
More from seba--
seba--/djc-lang
Public repository.
seba--/hygienic-transformations
Public repository.
seba--/icfp2013-papers
List of ICFP'13 accepted papers, with links to preprint or additional information when available