Pinned Repositories
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.
mono
Mono open source ECMA CLI, C# and .NET implementation.
mono-website
Mono's web site.
obs-studio
OBS Studio - Free and open source software for live streaming and screen recording
oss-fuzz
OSS-Fuzz - continuous fuzzing of open source software
pasp-mode
An Emas Major Mode for editing Answer Set Programs
freetype2-testing
Testing utilities for FreeType.
cherusker's Repositories
cherusker/mono
Mono open source ECMA CLI, C# and .NET implementation.
cherusker/mono-website
Mono's web site.
cherusker/dlv-beautifier
Simple Python script that enhances the output of DLV.
cherusker/dps-2018s-assignment-2-testing
Test Suite for verifying Assignment 2 of Declarative Problem Solving in 2018.
cherusker/enhancitizer
Enhance the reports of various Clang sanitizers.
cherusker/freetype2-testing
Testing utilities for FreeType.
cherusker/obs-studio
OBS Studio - Free and open source software for live streaming and screen recording
cherusker/oss-fuzz
OSS-Fuzz - continuous fuzzing of open source software
cherusker/pasp-mode
An Emas Major Mode for editing Answer Set Programs
cherusker/racehog