nhusung

PhD Student @ Saarland University

Germany

Pinned Repositories

adiar
An I/O-efficient implementation of (Binary) Decision Diagrams
Language:C++00
bdd-benchmark
A collection of benchmarks for BDD packages with comparable implementations
Language:C++0 0 00
buddy
BuDDy BDD package (with CMake support)
Language:C00
cal
University of California BDD Package
Language:C00
cudd
CUDD: CU Decision Diagram package - unofficial (and slightly modified) git mirror
Language:C00
docker-joomla
Docker Images for Joomla!
Language:Shell0 0 00
docker-latex
Alpine-based LaTeX Docker image
Language:Dockerfile0 1 00
docker-latex-otf-fonts
LaTeX with a few OTF fonts
Language:Dockerfile0 1 00
joomla-cms
Home of the Joomla! Content Management System
Language:PHP0 0 00
lib-bdd-ffi
C FFI for Biodivine/LibBDD
Language:Rust01

nhusung's Repositories

nhusung/adiar
An I/O-efficient implementation of (Binary) Decision Diagrams
Language:C++00
nhusung/bdd-benchmark
A collection of benchmarks for BDD packages with comparable implementations
Language:C++0 0 00
nhusung/buddy
BuDDy BDD package (with CMake support)
Language:C00
nhusung/cal
University of California BDD Package
Language:C00
nhusung/cudd
CUDD: CU Decision Diagram package - unofficial (and slightly modified) git mirror
Language:C00
nhusung/docker-joomla
Docker Images for Joomla!
Language:Shell0 0 00
nhusung/docker-latex
Alpine-based LaTeX Docker image
Language:Dockerfile0 1 00
nhusung/docker-latex-otf-fonts
LaTeX with a few OTF fonts
Language:Dockerfile0 1 00
nhusung/joomla-cms
Home of the Joomla! Content Management System
Language:PHP0 0 00
nhusung/lib-bdd-ffi
C FFI for Biodivine/LibBDD
Language:Rust01
nhusung/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.
0 0 00
nhusung/pygments
Pygments is a generic syntax highlighter written in Python
Language:Python0 0 00
nhusung/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++00
nhusung/maturin
Build and publish crates with pyo3, rust-cpython and cffi bindings as well as rust binaries as python packages
Language:Rust