Pascal Wittmann (@pSub)
github

pSub

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    56
  • Global Rank 308,558 (Top 11 %)
  • Followers 60
  • Following 47
  • Registered about 15 years ago
  • Most used languages
    Shell
         30.0 %
    TeX
         20.0 %
    Python
         20.0 %
    Haskell
         20.0 %
    Nix
         10.0 %
  • Location 🇩🇪 Germany
  • Country Total Rank 15,060
  • Country Ranking
    Nix
         36
    Haskell
         322
    TeX
         571
    Shell
         2,330
    Python
         8,074

Top repositories

1

configs

My configuration files
Nix
29
star
2

hackaru-timeular

Track your time with the Timeular cube and Hackaru
Python
7
star
3

pepper-and-carrot-pdfs

PDFs of the Pepper and Carrot comics, so printing them is easy.
Shell
5
star
4

master-thesis

A Language for the Specification and Efficient Implementation of Type Systems
TeX
5
star
5

pascal-wittmann.de

Personal website powered by Yesod
Haskell
3
star
6

pkgbuilds

pkgbuilds for archlinux
Shell
3
star
7

weechat-correction-completion

Provides a completion for "s/typo/correct"
Python
1
star
8

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
Shell
1
star
9

tpl-notes

TeX
1
star
10

yesod-rst

Makes pandoc's ability to read reStructuredText avaible to Yesod.
Haskell
1
star