Repositories list

• jmc

  Public
  jmc: Java Model Checker

  Java

  •

  Apache License 2.0

  •0•15•0•0•Updated Jan 7, 2025Jan 7, 2025

• metafor

  Public
  Metastability analysis

  Jupyter Notebook

  •

  Apache License 2.0

  •0•1•0•0•Updated Jan 7, 2025Jan 7, 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

  •299•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

  Python

  •

  Apache License 2.0

  •10•34•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

  •1.9k•1•0•0•Updated May 15, 2012May 15, 2012