petr-muller/IBP2013
Web Tool for Management of Long-Term Testing Results
Developer Profile
petr-muller
Discovered public repositories for petr-muller in the GitHub catalog.
petr-muller/SPA
Sequence-point analyzer
petr-muller/static-analyzer-fuzzing
Public repository.
petr-muller/parabellum
Various stuff to support Para Bellum
petr-muller/larp-xcom-chest
A simple arduino sketch for a larp gadget. The gadget is a chest, which detects whether it is open or closed (as witnessed by a light sensor inside and a bending sensor on a hinge). When a chest is open, an alarm sounds.
petr-muller/tron
A simple bot to play a Tron game
petr-muller/larp-xcom-ufopaedia
A simple in-game DB system to support XCOM-inspired series of airsoft games
petr-muller/osmb
Open Source Malloc Benchmark (diploma thesis)
petr-muller/larprunner
A Django website I have created for running, scheduling and organizing larp-events. It's still used, although I do not maintain it anymore.
petr-muller/lemke-howson
Implementation of the Lemke-Howson's algorithm for finding Nash equilibrium of a bimatrix game
petr-muller/fucc
Public repository.
petr-muller/ICST2014
Public repository.
petr-muller/xcom-scanner
An Android application used in action larp series inspired by UFO and XCOM strategy games.
petr-muller/confwatch
Public repository.
petr-muller/small-smg
Public repository.
petr-muller/beakerlib
My personal repository for the shell-level testing library. Might contain more code than the upstream one.
petr-muller/predator
A Separation Logic-Based GCC Plug-in for Checking Manipulation of Dynamic Data Structures