Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by pSub
A curated list of projects in awesome lists by pSub .
https://github.com/psub/hackaru-timeular
Track your time with the Timeular cube and Hackaru
Last synced: 11 Oct 2024
https://github.com/psub/master-thesis
A Language for the Specification and Efficient Implementation of Type Systems
automated-theorem-provers domain-specific-language master-thesis typesystem
Last synced: 11 Oct 2024
https://github.com/psub/pepper-and-carrot-pdfs
PDFs of the Pepper and Carrot comics, so printing them is easy.
Last synced: 11 Oct 2024
https://github.com/psub/pascal-wittmann.de
Personal website powered by Yesod
Last synced: 11 Oct 2024
https://github.com/psub/yesod-rst
Makes pandoc's ability to read reStructuredText avaible to Yesod.
Last synced: 11 Oct 2024
https://github.com/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
Last synced: 11 Oct 2024
https://github.com/psub/weechat-correction-completion
Provides a completion for "s/typo/correct"
Last synced: 11 Oct 2024
https://github.com/psub/tpl-notes
programming-language type-system type-theory
Last synced: 11 Oct 2024
https://github.com/psub/checker-framework-letexpr-crash
Bug is fixed! Code that triggers a crash of the checker-framework described in issue #469
Last synced: 11 Oct 2024
https://github.com/psub/checkerframework-method-chaining-performance-regression
Last synced: 11 Oct 2024
https://github.com/psub/vier-gewinnt
Simple PvP game (connect four) based on WebSockets
Last synced: 11 Oct 2024
https://github.com/psub/tspl-agda
Agda implementations of stuff from a lecture on type systems at TU Darmstadt.
Last synced: 11 Oct 2024
https://github.com/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
Last synced: 11 Oct 2024