Henning Goes

smtlib2. SMTLib2 interface implementation for Haskell

vvt. The Vienna Verification Toolkit

nbis. A SMT based LLVM code checker

language-scade. A SCADE parser and pretty printer written in Haskell

quantum-algorithm-cheatsheet. A cheatsheet for the course "Quantenalgorithmen" at TU Braunschweig

llvm-ir. An LLVM IR parser for Rust

bdd. A shared, ordered binary decision diagram library written in Haskell

bindings-llvm. A low level binding to the C++ API of LLVM for Haskell

fac. The fast aiger checker

master-thesis. Verification of GALS Systems

language-uppaal. Parser and pretty printer for the UPPAAL language

context-common. A support library for the projects context-annotator and context-collector

context-collector. A tool to record sensor data from mobile phones

context-trainer. A tool to create context classifiers from training data

context-annotator. A GUI application to annotate large sensor data files

language-promela. A promela parser and pretty printer written in Haskell

gtl. The GALS Transformation Language

context-classifier. A context-recognition application for mobile devices

modelicus. Aspect Oriented Rule Language for Modelica

smc. Exercise Code for Software Model Checking 2015 @ TU Vienna

merge-headers. A program to merge conflicting C headers

language-nusmv. Haskell parser for the NuSMV input language

falco-enc. Encode LLVM traces into SMT instances

hike. Pike in Haskell