{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"KollaborierbaR","owner":"tdelta","isFork":false,"description":"A Collaborative Web IDE for Reasoning about Programs","allTopics":["java","spring-boot","reactjs","ide","jml","collaborative-editing","deductive-verification","key-project"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":1,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-26T12:07:39.206Z"}},{"type":"Public","name":"SynergyQuest","owner":"tdelta","isFork":false,"description":"SynergyQuest is a 2D top-down cooperative multiplayer action-adventure video game using web-based smartphone controllers.","allTopics":["game","unity2d","cooperative-game","games","unity"],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":8,"starsCount":13,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-10T20:03:53.753Z"}}],"repositoryCount":2,"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":"tdelta repositories"}