- Max Planck Institute for Software Systems (MPI-SWS)
- Saarbrücken, Germany
- Joined on
- atomic-charge 4
- supernice 3 a small bash daemon to monitor cpu time usage by users and renice/ionice their processes accordingly
- pyhkal 2 The legendary TiHKAL for everyone in py.
- Bachelor-Thesis 2 Constructive Theory of Regular Languages
- fakews 1 a small command line application to inject a hook library in order to make ServerNT systems appear to be workstations (WinNT)
Repositories contributed to
- yurug/coq 3 Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
- opatut/dudel 19 Schedule a meeting easily with many other participants using this web app.
Contributions in the last year 2 total Feb 7, 2015 – Feb 7, 2016
Longest streak 1 day April 10 – April 10
Current streak 0 days Last contributed