Skip to content

@crestdsl crestdsl

Change the repository type filter

All

    Repositories list

    8 repositories

    • sosym-aircondition

      Public
      A crestdsl example system for the submission to SoSyM.
      Jupyter Notebook
      •
      MIT License
      •0•1•0•0•Updated Jul 26, 2020Jul 26, 2020

    • thesis-code

      Public
      A repository to hold all the notebooks that contain the code of Stefan's thesis
      Jupyter Notebook
      •
      MIT License
      •0•0•0•0•Updated Oct 29, 2019Oct 29, 2019

    • CREST

      Public
      Continuous REactive SysTems DSL
      Python
      •
      MIT License
      •2•18•11•0•Updated Oct 28, 2019Oct 28, 2019

    • crestdsl-docker

      Public
      A Docker image that installs the latest crestdsl release and everything else that's necessary.
      Jupyter Notebook
      •
      MIT License
      •0•0•0•0•Updated Sep 12, 2019Sep 12, 2019

    • case-studies

      Public
      Case Studies implemented by Guillaume Marthe, during his internship at UniGe
      Jupyter Notebook
      •
      MIT License
      •0•0•0•0•Updated Aug 20, 2019Aug 20, 2019

    • crestdsl-demo-binder

      Public
      This is so we can run the crestdsl image on Binder... nothing else
      Dockerfile
      •
      MIT License
      •0•0•0•0•Updated Apr 24, 2019Apr 24, 2019

    • OfficeSystem

      Public
      A crestdsl model of an office automation system. (With emergency lighting in case of power outages)
      Jupyter Notebook
      •
      MIT License
      •0•0•0•0•Updated Apr 11, 2019Apr 11, 2019

    • crestdsl.github.io

      Public
      A webpage (forward to readthedocs).
      HTML
      •
      MIT License
      •0•0•0•0•Updated Mar 31, 2019Mar 31, 2019