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