Armin Hasitzka's repositories
mono-website
Mono's web site.
dlv-beautifier
Simple Python script that enhances the output of DLV.
dps-2018s-assignment-2-testing
Test Suite for verifying Assignment 2 of Declarative Problem Solving in 2018.
enhancitizer
Enhance the reports of various Clang sanitizers.
freetype2-testing
Testing utilities for FreeType.
obs-studio
OBS Studio - Free and open source software for live streaming and screen recording