crestdsl

Popular repositories Loading

1. CREST CRESTPublic

   Continuous REactive SysTems DSL

   Python 17 2

2. sosym-aircondition sosym-airconditionPublic

   A crestdsl example system for the submission to SoSyM.

   Jupyter Notebook 1

3. crestdsl-docker crestdsl-dockerPublic

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

   Jupyter Notebook

4. crestdsl-demo-binder crestdsl-demo-binderPublic

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

   Dockerfile

5. crestdsl.github.io crestdsl.github.ioPublic

   A webpage (forward to readthedocs).

   HTML

6. OfficeSystem OfficeSystemPublic

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

   Jupyter Notebook