Skip to content
@mpi-sws-rse

mpi-sws-rse

Popular repositories Loading

  1. thingflow-python thingflow-python Public

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

    Python 34 10

  2. jmc jmc Public

    jmc: Java Model Checker

    Java 18

  3. ltltalk-interactive-synthesis ltltalk-interactive-synthesis Public

    Python 7 2

  4. antevents-python antevents-python Public

    This framework has been renamed to ThingFlow.

    Python 6 2

  5. datablox datablox Public

    A dataflow language and runtime

    Python 5 1

  6. flipper flipper Public

    Forked from sidaw/shrdlurn

    Talk to your robot in a natural way

    HTML 3 2

Repositories

Showing 10 of 14 repositories
  • jmc Public

    jmc: Java Model Checker

    Java 18 Apache-2.0 0 0 0 Updated Mar 4, 2025
  • metafor Public

    Metastability analysis

    Jupyter Notebook 1 Apache-2.0 0 0 0 Updated Jan 7, 2025
  • ltltalk-interactive-synthesis Public
    Python 7 2 0 0 Updated Aug 30, 2021
  • thingflow-examples Public

    Examples applications for the ThingFlow IoT framework.

    Jupyter Notebook 2 Apache-2.0 2 0 0 Updated Aug 22, 2021
  • ltltalk-frontend Public
    HTML 0 1 0 0 Updated Nov 16, 2020
  • ltltalk-backend Public
    Java 1 1 1 0 Updated Nov 13, 2020
  • sempre-interactive-flipper Public Forked from sidaw/sempre-interactive

    Semantic Parser with Execution

    Java 0 302 2 0 Updated Jul 5, 2019
  • flipper Public Forked from sidaw/shrdlurn

    Talk to your robot in a natural way

    HTML 3 27 4 0 Updated Mar 17, 2019
  • flipperOld Public

    Natural interface to robot actions and planning

    0 Apache-2.0 0 0 0 Updated Mar 2, 2018
  • thingflow-python Public

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

    Python 34 Apache-2.0 10 2 0 Updated Aug 8, 2017
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.