5 packages found. Page 1 of 1.

Category Name Version Votes Description Maintainer
devel sem182 2.4.2-2 2 Semaphore library used by the operating systems programming course (OSUE) at the Technical University Vienna fhahn
devel sel182 4.14.2-2 2 Sequencer/event counter library used by the systems programming course at the Technical University Vienna fhahn
system marelle-git 0.r97.c88eac0-2 1 Test-driven system administration with a little extra logic. fhahn
devel lua-cmsgpack 0.r36.f44f954-1 1 A self contained Lua MessagePack C implementation. fhahn
devel boogie-hg r4017.02815f46a6f1-1 1 Boogie is an Intermediate Verification Language (IVL) for describing proof obligations to be discharged by a reasoning engine, typically an SMT solver fhahn

5 packages found. Page 1 of 1.