{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"ROS_navfn_verification","owner":"demiourgoi","isFork":false,"description":"Maude integration and verification for ROS Nav 2","allTopics":["dafny","formal-verification","maude","ros2"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-18T12:59:22.108Z"}},{"type":"Public","name":"flink-check","owner":"demiourgoi","isFork":false,"description":"ScalaCheck for Apache Flink","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":10,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-21T09:19:55.751Z"}},{"type":"Public","name":"demiourgoi.github.io","owner":"demiourgoi","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-08-19T22:56:40.346Z"}},{"type":"Public","name":"sscheck-core","owner":"demiourgoi","isFork":false,"description":"Computing engine independent code for sscheck","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-08-19T22:30:19.622Z"}},{"type":"Public","name":"sscheck-examples","owner":"demiourgoi","isFork":false,"description":"examples using sscheck ","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-29T23:01:26.029Z"}},{"type":"Public","name":"sscheck","owner":"demiourgoi","isFork":false,"description":"ScalaCheck for Spark","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-04-02T00:43:16.855Z"}}],"repositoryCount":6,"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":"template","text":"Templates"}],"compactMode":false},"title":"demiourgoi repositories"}