Nils Husung's repositories
bdd-benchmark
A collection of benchmarks for BDD packages with comparable implementations
Language:C++MIT000
docker-joomla
Docker Images for Joomla!
Language:ShellGPL-2.0000
docker-latex
Alpine-based LaTeX Docker image
docker-latex-otf-fonts
LaTeX with a few OTF fonts
joomla-cms
Home of the Joomla! Content Management System
Language:PHPGPL-2.0000
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
000
pygments
Pygments is a generic syntax highlighter written in Python
Language:PythonBSD-2-Clause000
SPARTA
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
Language:C++MIT000