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
creusot
Creusot helps you prove your code is correct in an automated fashion.
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