pSub/master-thesis pSub/master-thesis

  • Stars
    star
    5
  • Rank 2,801,007 (Top 57 %)
  • Language
    TeX
  • Created about 10 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pSub/master-thesis
github

pSub

Reviews

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

Repository Details

A Language for the Specification and Efficient Implementation of Type Systems

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

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