mpi-sws-rse

Popular repositories Loading

1. jmc jmc Public

   JMC - Java Model Checker

   Java 77 5

2. thingflow-python thingflow-python Public

   Streaming dataflow library for IoT applications. Program at a higher level, with reusable "things".

   Python 35 10

3. metafor metafor Public

   Metastability analysis

   Jupyter Notebook 14 2

4. ltltalk-interactive-synthesis ltltalk-interactive-synthesis Public

   Python 7 2

5. antevents-python antevents-python Public

   This framework has been renamed to ThingFlow.

   Python 6 2

6. datablox datablox Public

   A dataflow language and runtime

   Python 5 1