{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"jAADD","owner":"tukcps","isFork":false,"description":"This repository holds the Affine Arithmetic Decision Diagrams library written for Java and JVM languages <a href=\"http://cps.cs.uni-kl.de/en/AADD\" rel=\"nofollow\">http://cps.cs.uni-kl.de/en/AADD</a>","allTopics":["kotlin","symbolic-execution","java","bdd","aadd"],"primaryLanguage":{"name":"Kotlin","color":"#A97BFF"},"pullRequestCount":0,"issueCount":1,"starsCount":2,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-30T10:49:44.239Z"}},{"type":"Public","name":"k-moc","owner":"tukcps","isFork":false,"description":"A simple modeling/simulation tool in kotlin for demonstration purpose. ","allTopics":[],"primaryLanguage":{"name":"Kotlin","color":"#A97BFF"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-17T17:24:37.492Z"}},{"type":"Public","name":"OSSRH-51653","owner":"tukcps","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-09-20T16:34:54.158Z"}},{"type":"Public","name":"AADD","owner":"tukcps","isFork":false,"description":"This repository holds the Affine Arithmetic Decision Diagrams library","allTopics":["symbolic-execution","bdd-framework","affine-arithmetic","systemc"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":3,"starsCount":5,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-06-03T13:56:09.351Z"}},{"type":"Public","name":"VP","owner":"tukcps","isFork":false,"description":"Virtual Prototypes of Automotive Applications","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-01-28T11:51:36.761Z"}},{"type":"Public","name":"VP-Lecture","owner":"tukcps","isFork":false,"description":"Material from Lecture \"Virtual Prototyping\"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-08-14T12:52:06.925Z"}}],"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":"Repositories"}