Tobias Meggendorfer's repositories
social_choice_fairness
A customizable framework to solve social choice problems (part of my master's thesis)
whatsminer-homeassistant
Custom Component for Whatsminer API
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
copydetect
Code plagiarism detection tool
domjudge-packaging
DOMjudge packaging for (Linux) distributions and live image
eve-parity
Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of concurrent and multi-agent systems.
homeassistant
:house_with_garden: Open source home automation that puts local control and privacy first.
mapstruct
An annotation processor for generating type-safe bean mappers
naturals-util
Datastructures and utility classes specialized for dealing with non-negative integers.
prism
The main development version of the PRISM model checker. This replaces the old Subversion server as the definitive source for new code.
prism-games
The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
RoaringBitmap
A better compressed bitset in Java
SparseBitSet
An efficient sparse bit set implementation for Java
stationary-distribution-sampling
Code for the associated paper