hgoes/fac
The fast aiger checker
Developer Profile
hgoes
Discovered public repositories for hgoes in the GitHub catalog.
hgoes/bindings-llvm
A low level binding to the C++ API of LLVM for Haskell
hgoes/nbis
A SMT based LLVM code checker
hgoes/language-nusmv
Haskell parser for the NuSMV input language
hgoes/smtlib2
SMTLib2 interface implementation for Haskell
hgoes/language-uppaal
Parser and pretty printer for the UPPAAL language
hgoes/merge-headers
A program to merge conflicting C headers
hgoes/master-thesis
Verification of GALS Systems
hgoes/gtl
The GALS Transformation Language
hgoes/bdd
A shared, ordered binary decision diagram library written in Haskell
hgoes/language-scade
A SCADE parser and pretty printer written in Haskell
hgoes/language-promela
A promela parser and pretty printer written in Haskell
hgoes/hike
Pike in Haskell
hgoes/quantum-algorithm-cheatsheet
A cheatsheet for the course "Quantenalgorithmen" at TU Braunschweig
hgoes/context-trainer
A tool to create context classifiers from training data
hgoes/context-collector
A tool to record sensor data from mobile phones
hgoes/context-common
A support library for the projects context-annotator and context-collector
hgoes/context-annotator
A GUI application to annotate large sensor data files
hgoes/context-classifier
A context-recognition application for mobile devices