pSub/tpl-notes
Public repository.
My configuration files
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Public repository.
Agda implementations of stuff from a lecture on type systems at TU Darmstadt.
An Agda implementation of information flow security properties and type systems. Inspired by this course http://www.mais.informatik.tu-darmstadt.de/proganalysis-ws1213
Simple PvP game (connect four) based on WebSockets