hgoes/modelicus hgoes/modelicus

  • Stars
    star
    1
  • Language
    Java
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
hgoes/modelicus
github

hgoes

Reviews

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

Repository Details

Aspect Oriented Rule Language for Modelica

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

gtl

The GALS Transformation Language
Haskell
2
star
11

context-trainer

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

context-common

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

language-promela

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

language-uppaal

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

context-collector

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

master-thesis

Verification of GALS Systems
2
star
17

context-annotator

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

context-classifier

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

merge-headers

A program to merge conflicting C headers
Haskell
1
star
20

hike

Pike in Haskell
Haskell
1
star
21

smc

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

language-nusmv

Haskell parser for the NuSMV input language
Haskell
1
star