Skip to content
@crestdsl

crestdsl

An implementation of the CREST Hybrid Modelling DSL

Popular repositories Loading

  1. CREST CREST Public

    Continuous REactive SysTems DSL

    Python 18 2

  2. sosym-aircondition sosym-aircondition Public

    A crestdsl example system for the submission to SoSyM.

    Jupyter Notebook 1

  3. crestdsl-docker crestdsl-docker Public

    A Docker image that installs the latest crestdsl release and everything else that's necessary.

    Jupyter Notebook

  4. crestdsl-demo-binder crestdsl-demo-binder Public

    This is so we can run the crestdsl image on Binder... nothing else

    Dockerfile

  5. crestdsl.github.io crestdsl.github.io Public

    A webpage (forward to readthedocs).

    HTML

  6. OfficeSystem OfficeSystem Public

    A crestdsl model of an office automation system. (With emergency lighting in case of power outages)

    Jupyter Notebook

Repositories

Showing 8 of 8 repositories
  • sosym-aircondition Public

    A crestdsl example system for the submission to SoSyM.

    crestdsl/sosym-aircondition’s past year of commit activity
    Jupyter Notebook 1 MIT 0 0 0 Updated Jul 26, 2020
  • thesis-code Public

    A repository to hold all the notebooks that contain the code of Stefan's thesis

    crestdsl/thesis-code’s past year of commit activity
    Jupyter Notebook 0 MIT 0 0 0 Updated Oct 29, 2019
  • CREST Public

    Continuous REactive SysTems DSL

    crestdsl/CREST’s past year of commit activity
    Python 18 MIT 2 11 (1 issue needs help) 0 Updated Oct 28, 2019
  • crestdsl-docker Public

    A Docker image that installs the latest crestdsl release and everything else that's necessary.

    crestdsl/crestdsl-docker’s past year of commit activity
    Jupyter Notebook 0 MIT 0 0 0 Updated Sep 12, 2019
  • case-studies Public

    Case Studies implemented by Guillaume Marthe, during his internship at UniGe

    crestdsl/case-studies’s past year of commit activity
    Jupyter Notebook 0 MIT 0 0 0 Updated Aug 20, 2019
  • crestdsl-demo-binder Public

    This is so we can run the crestdsl image on Binder... nothing else

    crestdsl/crestdsl-demo-binder’s past year of commit activity
    Dockerfile 0 MIT 0 0 0 Updated Apr 24, 2019
  • OfficeSystem Public

    A crestdsl model of an office automation system. (With emergency lighting in case of power outages)

    crestdsl/OfficeSystem’s past year of commit activity
    Jupyter Notebook 0 MIT 0 0 0 Updated Apr 11, 2019
  • crestdsl.github.io Public

    A webpage (forward to readthedocs).

    crestdsl/crestdsl.github.io’s past year of commit activity
    HTML 0 MIT 0 0 0 Updated Mar 31, 2019

Top languages

Loading…

Most used topics

Loading…