Discover @hgoes Open Source projects

Henning Goes (@hgoes)

hgoes

Stars
81
Global Rank 241,312 (Top 9 %)
Followers 15
Following 1
Registered over 14 years ago
Most used languages

Haskell
57.1 %

Python
19.0 %

C
9.5 %

Java
4.8 %

C++
4.8 %

LLVM 4.8 %
Location 🇩🇪 Germany
Country Total Rank 12,151
Country Ranking

LLVM 5

Haskell
63

C
3,965

C++
5,721

Python
7,842

smtlib2

SMTLib2 interface implementation for Haskell

language-scade

A SCADE parser and pretty printer written in Haskell

bdd

A shared, ordered binary decision diagram library written in Haskell

llvm-ir

An LLVM IR parser for Rust

vvt

The Vienna Verification Toolkit

quantum-algorithm-cheatsheet

A cheatsheet for the course "Quantenalgorithmen" at TU Braunschweig

nbis

A SMT based LLVM code checker

bindings-llvm

A low level binding to the C++ API of LLVM for Haskell

fac

The fast aiger checker

gtl

The GALS Transformation Language

context-trainer

A tool to create context classifiers from training data

context-common

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

language-promela

A promela parser and pretty printer written in Haskell

language-uppaal

Parser and pretty printer for the UPPAAL language

context-collector

A tool to record sensor data from mobile phones

master-thesis

Verification of GALS Systems

context-annotator

A GUI application to annotate large sensor data files

context-classifier

A context-recognition application for mobile devices

merge-headers

A program to merge conflicting C headers

hike

Pike in Haskell

smc

Exercise Code for Software Model Checking 2015 @ TU Vienna

language-nusmv

Haskell parser for the NuSMV input language

modelicus

Aspect Oriented Rule Language for Modelica