hgoes/gtl hgoes/gtl

  • Stars
    star
    2
  • Language
    Haskell
  • License
    Other
  • Created almost 14 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
hgoes/gtl
github

hgoes

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

The GALS Transformation Language

More Repositories

1

smtlib2

SMTLib2 interface implementation for Haskell
Haskell
16
star
2

language-scade

A SCADE parser and pretty printer written in Haskell
Haskell
6
star
3

bdd

A shared, ordered binary decision diagram library written in Haskell
Haskell
5
star
4

llvm-ir

An LLVM IR parser for Rust
LLVM
5
star
5

vvt

The Vienna Verification Toolkit
Haskell
5
star
6

quantum-algorithm-cheatsheet

A cheatsheet for the course "Quantenalgorithmen" at TU Braunschweig
5
star
7

nbis

A SMT based LLVM code checker
Haskell
5
star
8

bindings-llvm

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

fac

The fast aiger checker
C++
3
star
10

context-trainer

A tool to create context classifiers from training data
Python
2
star
11

context-common

A support library for the projects context-annotator and context-collector
Python
2
star
12

language-promela

A promela parser and pretty printer written in Haskell
Haskell
2
star
13

language-uppaal

Parser and pretty printer for the UPPAAL language
Haskell
2
star
14

context-collector

A tool to record sensor data from mobile phones
Python
2
star
15

master-thesis

Verification of GALS Systems
2
star
16

context-annotator

A GUI application to annotate large sensor data files
Python
2
star
17

context-classifier

A context-recognition application for mobile devices
C
2
star
18

merge-headers

A program to merge conflicting C headers
Haskell
1
star
19

hike

Pike in Haskell
Haskell
1
star
20

smc

Exercise Code for Software Model Checking 2015 @ TU Vienna
C
1
star
21

language-nusmv

Haskell parser for the NuSMV input language
Haskell
1
star
22

modelicus

Aspect Oriented Rule Language for Modelica
Java
1
star