Nils Husung's repositories
adiar
An I/O-efficient implementation of (Binary) Decision Diagrams
bdd-benchmark
A collection of benchmarks for BDD packages with comparable implementations
buddy
BuDDy BDD package (with CMake support)
cal
University of California BDD Package
cudd
CUDD: CU Decision Diagram package - unofficial (and slightly modified) git mirror
docker-joomla
Docker Images for Joomla!
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
lib-bdd-ffi
C FFI for Biodivine/LibBDD
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.
pygments
Pygments is a generic syntax highlighter written in Python
SPARTA
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
maturin
Build and publish crates with pyo3, rust-cpython and cffi bindings as well as rust binaries as python packages