Pinned Repositories
case-studies
Case Studies implemented by Guillaume Marthe, during his internship at UniGe
CREST
Continuous REactive SysTems DSL
crestdsl-demo-binder
This is so we can run the crestdsl image on Binder... nothing else
crestdsl-docker
A Docker image that installs the latest crestdsl release and everything else that's necessary.
crestdsl.github.io
A webpage (forward to readthedocs).
OfficeSystem
A crestdsl model of an office automation system. (With emergency lighting in case of power outages)
sosym-aircondition
A crestdsl example system for the submission to SoSyM.
thesis-code
A repository to hold all the notebooks that contain the code of Stefan's thesis
crestdsl's Repositories
crestdsl/CREST
Continuous REactive SysTems DSL
crestdsl/sosym-aircondition
A crestdsl example system for the submission to SoSyM.
crestdsl/case-studies
Case Studies implemented by Guillaume Marthe, during his internship at UniGe
crestdsl/crestdsl-demo-binder
This is so we can run the crestdsl image on Binder... nothing else
crestdsl/crestdsl-docker
A Docker image that installs the latest crestdsl release and everything else that's necessary.
crestdsl/crestdsl.github.io
A webpage (forward to readthedocs).
crestdsl/OfficeSystem
A crestdsl model of an office automation system. (With emergency lighting in case of power outages)
crestdsl/thesis-code
A repository to hold all the notebooks that contain the code of Stefan's thesis