{"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":22,"issueCount":235,"starsCount":2241,"forksCount":187,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-12T19:21:47.209Z"}},{"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":null,"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"}