Pinned 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
cffi-cpython-bug
CFFI/CPython Bug Reproducibility 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
nhusung's Repositories
nhusung/adiar
An I/O-efficient implementation of (Binary) Decision Diagrams
nhusung/bdd-benchmark
A collection of benchmarks for BDD packages with comparable implementations
nhusung/buddy
BuDDy BDD package (with CMake support)
nhusung/cal
University of California BDD Package
nhusung/cffi-cpython-bug
CFFI/CPython Bug Reproducibility Package
nhusung/creusot
Creusot helps you prove your code is correct in an automated fashion.
nhusung/cudd
CUDD: CU Decision Diagram package - unofficial (and slightly modified) git mirror
nhusung/docker-joomla
Docker Images for Joomla!
nhusung/docker-latex
Alpine-based LaTeX Docker image
nhusung/docker-latex-otf-fonts
LaTeX with a few OTF fonts
nhusung/joomla-cms
Home of the Joomla! Content Management System
nhusung/lib-bdd-ffi
C FFI for Biodivine/LibBDD
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.
nhusung/pygments
Pygments is a generic syntax highlighter written in Python
nhusung/SPARTA
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
nhusung/maturin
Build and publish crates with pyo3, rust-cpython and cffi bindings as well as rust binaries as python packages