{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"sosym-aircondition","owner":"crestdsl","isFork":false,"description":"A crestdsl example system for the submission to SoSyM.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-26T08:20:01.349Z"}},{"type":"Public","name":"thesis-code","owner":"crestdsl","isFork":false,"description":"A repository to hold all the notebooks that contain the code of Stefan's thesis","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-10-29T00:22:39.588Z"}},{"type":"Public","name":"CREST","owner":"crestdsl","isFork":false,"description":"Continuous REactive SysTems DSL","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":11,"starsCount":18,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-10-28T08:45:51.637Z"}},{"type":"Public","name":"crestdsl-docker","owner":"crestdsl","isFork":false,"description":"A Docker image that installs the latest crestdsl release and everything else that's necessary.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-09-12T12:42:25.295Z"}},{"type":"Public","name":"case-studies","owner":"crestdsl","isFork":false,"description":"Case Studies implemented by Guillaume Marthe, during his internship at UniGe","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-08-20T14:15:11.870Z"}},{"type":"Public","name":"crestdsl-demo-binder","owner":"crestdsl","isFork":false,"description":"This is so we can run the crestdsl image on Binder... nothing else","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-04-24T00:10:16.178Z"}},{"type":"Public","name":"OfficeSystem","owner":"crestdsl","isFork":false,"description":"A crestdsl model of an office automation system. (With emergency lighting in case of power outages)","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-04-11T08:37:48.724Z"}},{"type":"Public","name":"crestdsl.github.io","owner":"crestdsl","isFork":false,"description":"A webpage (forward to readthedocs).","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-03-31T00:51:56.818Z"}}],"repositoryCount":8,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}