Skip to content
View pSub's full-sized avatar

Sponsoring

@dani-garcia
@xmonad

Organizations

@NixOS @yesodweb @frankfurt-haskell-user-group @red6

Block or report pSub

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
pSub/README.md

Hi there, I'm Pascal Wittmann 👋

I am a software developer from Hamburg, Germany. My focus is the backend. However, I do not mind taking a glimpse into the frontend from time to time.

Some facts about me:

  • I love free and open-source software
  • I want to understand the things I work with properly
  • I like to have a strong compiler by my side
  • I admire elegant code and sometimes I get lost in it

Pinned Loading

  1. configs configs Public

    My configuration files

    Nix 42 6

  2. red6/dmn-check red6/dmn-check Public

    A tool which performs static analyses on Decision Model Notation (DMN) files to detect bugs

    Java 41 9

  3. phare-nix phare-nix Public

    NixOS module for phare.io monitor declarations

    Nix 2

  4. pascal-wittmann.de pascal-wittmann.de Public

    Personal website powered by Yesod

    Haskell 3 1

  5. master-thesis master-thesis Public

    A Language for the Specification and Efficient Implementation of Type Systems

    TeX 5 1

  6. pepper-and-carrot-pdfs pepper-and-carrot-pdfs Public

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

    Shell 6 2