pSub/master-thesis
A Language for the Specification and Efficient Implementation of Type Systems
Developer Profile
pSub
Discovered public repositories for pSub in the GitHub catalog.
pSub/tpl-notes
Public repository.
pSub/tspl-agda
Agda implementations of stuff from a lecture on type systems at TU Darmstadt.
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.
pSub/seminar-formspez
Report and Slides to my talk about "Security of Multithreaded Programs by Compilation" at the seminar "Formal Specification" in WS11/12 at TU Darmstadt
pSub/pascal-wittmann.de
Personal website powered by Yesod
pSub/finances
Simple script to organize finances
pSub/weechat-correction-completion
Provides a completion for "s/typo/correct"
pSub/pkgbuilds
pkgbuilds for archlinux
pSub/configs
My configuration files