pSub/pascal-wittmann.de pSub/pascal-wittmann.de

  • Stars
    star
    3
  • Rank 3,888,374 (Top 79 %)
  • Language
    Haskell
  • License
    Other
  • Created over 12 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pSub/pascal-wittmann.de
github

pSub

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Personal website powered by Yesod

More 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

pkgbuilds

pkgbuilds for archlinux
Shell
3
star
6

weechat-correction-completion

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

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
8

tpl-notes

TeX
1
star
9

yesod-rst

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