pSub/tspl-agda
Agda implementations of stuff from a lecture on type systems at TU Darmstadt.
Public GitHub Catalog
Discovered Sep 30, 2026
pSub / tpl-notes
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.
#17433579GitHub System ID
pSubOrganization / User
PublicVisibility
ActiveCatalog Status
More from pSub
pSub/information-flow-agda
An Agda implementation of information flow security properties and type systems. Inspired by this course http://www.mais.informatik.tu-darmstadt.de/proganalysis-ws1213
pSub/vier-gewinnt
Simple PvP game (connect four) based on WebSockets
pSub/yesod-rst
Makes pandoc's ability to read reStructuredText avaible to Yesod.