Lists (2)
Stars
5
results
for sponsorable starred repositories
written in Shell
Clear filter
Recall what you or your team did on the last working day
Install NixOS everywhere via SSH [maintainers=@Mic92 @Lassulus @phaer @Enzime @a-kenji]
PDFs of the Pepper and Carrot comics, so printing them is easy.
Report and Slides to my talk about "Security of Multithreaded Programs by Compilation" at the seminar "Formal Specification" in WS11/12 at TU Darmstadt