incaseoftrouble Goto Github PK

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

cges

Multiagent Nash Equilibria with LTL objectives

copydetect

Code plagiarism detection tool

domjudge

DOMjudge programming contest jury system

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.

jbdd

Efficient pure Java implementation of (Binary) Decision Diagrams

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.

qcomp-2023-stochastic-games-models

roaringbitmap

A better compressed bitset in Java

social_choice_fairness

A customizable framework to solve social choice problems (part of my master's thesis)

sparsebitset

An efficient sparse bit set implementation for Java

stationary-distribution-sampling

Code for the associated paper

stochastic-shortest-path-risk

whatsminer-homeassistant

Custom Component for Whatsminer API