https://github.com/psub/configs

My configuration files

configs nix nixos shell

Last synced: 19 Jun 2025

https://github.com/pSub/configs

My configuration files

configs nix nixos shell

Last synced: 01 Aug 2025

https://github.com/psub/hackaru-timeular

Track your time with the Timeular cube and Hackaru

Last synced: 28 Oct 2025

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: 07 Mar 2026

https://github.com/psub/pepper-and-carrot-pdfs

PDFs of the Pepper and Carrot comics, so printing them is easy.

Last synced: 28 Oct 2025

https://github.com/psub/pascal-wittmann.de

Personal website powered by Yesod

haskell homepage yesod

Last synced: 10 Mar 2026

https://github.com/psub/phare-nix

NixOS module for phare.io monitor declarations

Last synced: 13 Sep 2025

https://github.com/psub/yesod-rst

Makes pandoc's ability to read reStructuredText avaible to Yesod.

Last synced: 24 Jul 2025

https://github.com/psub/tpl-notes

programming-language type-system type-theory

Last synced: 05 Feb 2026

https://github.com/psub/weechat-correction-completion

Provides a completion for "s/typo/correct"

aspell python weechat

Last synced: 16 Oct 2025

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 May 2026

https://github.com/psub/vier-gewinnt

Simple PvP game (connect four) based on WebSockets

Last synced: 10 May 2026

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: 07 Mar 2026

https://github.com/psub/finances

Simple script to organize finances

Last synced: 05 Mar 2025

https://github.com/psub/yesod-csp

add CSP headers to Yesod apps

Last synced: 18 Jun 2025

https://github.com/psub/psub

Last synced: 18 Feb 2026

https://github.com/psub/reproduce-checker-framework-issue-6725

Last synced: 08 May 2025

https://github.com/psub/checker-framework-letexpr-crash

Bug is fixed! Code that triggers a crash of the checker-framework described in issue #469

bug checker-framework java

Last synced: 02 Dec 2025

https://github.com/psub/checkerframework-method-chaining-performance-regression

Last synced: 07 Oct 2025

https://github.com/psub/tspl-agda

Agda implementations of stuff from a lecture on type systems at TU Darmstadt.

Last synced: 09 Feb 2026

https://github.com/psub/reproduce-checker-framework-issue-6664

Last synced: 28 Oct 2025