Pascal Wittmann (@pSub)
github

pSub

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    63
  • Global Rank 290,063 (Top 10 %)
  • Followers 62
  • Following 48
  • Registered over 15 years ago
  • Most used languages
    Shell
         30.0 %
    Haskell
         20.0 %
    Python
         20.0 %
    TeX
         20.0 %
    Nix
         10.0 %
  • Location 🇩🇪 Germany
  • Country Total Rank 15,060
  • Country Ranking
    Nix
         35
    Haskell
         309
    TeX
         567
    Shell
         2,262
    Python
         7,536

Top repositories

1

configs

My configuration files
Nix
35
star
2

hackaru-timeular

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

master-thesis

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

pepper-and-carrot-pdfs

PDFs of the Pepper and Carrot comics, so printing them is easy.
Shell
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