pSub/configs pSub/configs

  • Stars
    star
    29
  • Rank 834,785 (Top 17 %)
  • Language
    Nix
  • Created over 14 years ago
  • Updated 19 days ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pSub/configs
github

pSub

Reviews

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

Repository Details

My configuration files

More Repositories

1

hackaru-timeular

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

pepper-and-carrot-pdfs

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

master-thesis

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

pascal-wittmann.de

Personal website powered by Yesod
Haskell
3
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