{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"tlaplus","owner":"tlaplus","isFork":false,"description":"TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. ","allTopics":["java","algorithms","high-performance","verification","specifications","model-checking","mit-license","tla"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":19,"issueCount":244,"starsCount":2233,"forksCount":185,"license":"MIT License","participation":[4,1,3,1,0,0,0,2,1,4,1,4,5,3,1,2,1,0,2,5,9,7,11,1,2,1,4,0,11,4,2,6,2,4,5,7,7,3,0,1,11,1,4,2,6,5,1,1,1,3,0,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-30T16:38:35.008Z"}},{"type":"Public","name":"ConcurrentSCC","owner":"tlaplus","isFork":false,"description":"Prototypes of Concurrent Strongly Connected Components (SCC) algorithms","allTopics":["algorithms","tarjan","scc","concurrent","tlaplus"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-14T03:47:28.641Z"}}],"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":"Repositories"}