pSub/seminar-formspez pSub/seminar-formspez

  • Stars
    star
    1
  • Language
    Shell
  • Created almost 13 years ago
  • Updated almost 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pSub/seminar-formspez
github

pSub

Reviews

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

Repository Details

Report and Slides to my talk about "Security of Multithreaded Programs by Compilation" at the seminar "Formal Specification" in WS11/12 at TU Darmstadt

More 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

tpl-notes

TeX
1
star
9

yesod-rst

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