marcoeilers/dtp
Dependently Typed Programming 2013 @ CS UU
Public GitHub Catalog
Discovered Sep 28, 2026
marcoeilers / thesis
Public repository discovered through GitHub real-time crawl.
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.
#13243269GitHub System ID
marcoeilersOrganization / User
PublicVisibility
ActiveCatalog Status
More from marcoeilers
marcoeilers/map
Multi Agent Programming 2013 @ CS UU
marcoeilers/apa
Automatic Program Analysis 2013 @ CS UU
marcoeilers/pcsd
Principles of Computer System Design 2012 @ DIKU