Skip to content

@mpi-sws-rse mpi-sws-rse

Change the repository type filter

All

    Repositories list

    16 repositories

    • jmc

      Public
      JMC - Java Model Checker
      verificationmodel-checkerconcurrency-testing
      verificationmodel-checkerconcurrency-testing
      Java
      •
      Apache License 2.0
      •3•65•0•0•Updated Jun 14, 2026Jun 14, 2026

    • metafor

      Public
      Metastability analysis
      Jupyter Notebook
      •
      Apache License 2.0
      •2•14•1•0•Updated May 28, 2026May 28, 2026

    • forge

      Public
      Rust static analysis infrastructure to discharge proof obligations
      Apache License 2.0
      •0•0•0•0•Updated Sep 3, 2025Sep 3, 2025

    • jmctutorial

      Public
      Java
      •0•4•0•0•Updated May 26, 2025May 26, 2025

    • ltltalk-interactive-synthesis

      Public
      Python
      •2•7•0•0•Updated Aug 30, 2021Aug 30, 2021

    • thingflow-examples

      Public
      Examples applications for the ThingFlow IoT framework.
      Jupyter Notebook
      •
      Apache License 2.0
      •2•2•0•0•Updated Aug 22, 2021Aug 22, 2021

    • ltltalk-frontend

      Public
      HTML
      •1•0•0•0•Updated Nov 16, 2020Nov 16, 2020

    • ltltalk-backend

      Public
      Java
      •
      Other
      •1•1•1•0•Updated Nov 13, 2020Nov 13, 2020

    • sempre-interactive-flipper

      Public
      Semantic Parser with Execution
      Java
      •
      Other
      •294•0•2•0•Updated Jul 5, 2019Jul 5, 2019

    • flipper

      Public
      Talk to your robot in a natural way
      HTML
      •27•3•4•0•Updated Mar 17, 2019Mar 17, 2019

    • flipperOld

      Public
      Natural interface to robot actions and planning
      Apache License 2.0
      •0•0•0•0•Updated Mar 2, 2018Mar 2, 2018

    • thingflow-python

      Public
      Streaming dataflow library for IoT applications. Program at a higher level, with reusable "things".
      pythoniotdataflow
      pythoniotdataflow
      Python
      •
      Apache License 2.0
      •10•35•2•0•Updated Aug 8, 2017Aug 8, 2017

    • antevents-examples

      Public
      Example applications for AntEvents
      Jupyter Notebook
      •
      Apache License 2.0
      •0•0•1•0•Updated Apr 13, 2017Apr 13, 2017

    • antevents-python

      Public
      This framework has been renamed to ThingFlow.
      Python
      •
      Apache License 2.0
      •2•6•0•0•Updated Mar 31, 2017Mar 31, 2017

    • datablox

      Public
      A dataflow language and runtime
      Python
      •
      Apache License 2.0
      •1•5•24•0•Updated Jan 27, 2017Jan 27, 2017

    • fabric

      Public
      This is a fork of fabric that includes the support for fabric-level host aliasing.
      Python
      •
      BSD 2-Clause "Simplified" License
      •2k•1•0•0•Updated May 15, 2012May 15, 2012
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.