Nils Husung
nhusung
PhD Student @ Saarland University
Languages
Repos
16
Stars
1
Forks
1
Top Language
C++
Loading contributions...
Top Repositories
C FFI for Biodivine/LibBDD
A collection of benchmarks for BDD packages with comparable implementations
CFFI/CPython Bug Reproducibility Package
An I/O-efficient implementation of (Binary) Decision Diagrams
CUDD: CU Decision Diagram package - unofficial (and slightly modified) git mirror
Creusot helps you prove your code is correct in an automated fashion.
Repositories
16A collection of benchmarks for BDD packages with comparable implementations
C FFI for Biodivine/LibBDD
CFFI/CPython Bug Reproducibility Package
An I/O-efficient implementation of (Binary) Decision Diagrams
CUDD: CU Decision Diagram package - unofficial (and slightly modified) git mirror
Creusot helps you prove your code is correct in an automated fashion.
BuDDy BDD package (with CMake support)
University of California BDD Package
Build and publish crates with pyo3, rust-cpython and cffi bindings as well as rust binaries as python packages
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
Docker Images for Joomla!
Pygments is a generic syntax highlighter written in Python
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.
Home of the Joomla! Content Management System
LaTeX with a few OTF fonts
Alpine-based LaTeX Docker image