{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"tlapm","owner":"tlaplus","isFork":false,"description":"The TLA Proof Manager","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":13,"issueCount":34,"starsCount":58,"forksCount":19,"license":"BSD 2-Clause \"Simplified\" License","participation":[1,10,10,5,16,2,0,0,0,0,0,9,0,0,0,1,0,1,0,0,2,0,4,0,5,0,1,0,0,0,3,0,0,1,0,19,3,1,3,0,1,0,0,0,0,0,0,1,3,0,4,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-18T07:34:27.152Z"}},{"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+. ","topicNames":["java","algorithms","high-performance","verification","specifications","model-checking","mit-license","tla"],"topicsNotShown":0,"allTopics":["java","algorithms","high-performance","verification","specifications","model-checking","mit-license","tla"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":20,"issueCount":241,"starsCount":2223,"forksCount":184,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-17T23:40:30.074Z"}},{"type":"Public","name":"CommunityModules","owner":"tlaplus","isFork":false,"description":"TLA+ snippets, operators, and modules contributed and curated by the TLA+ community","topicNames":["pluscal","tlaplus","tla-specification"],"topicsNotShown":0,"allTopics":["pluscal","tlaplus","tla-specification"],"primaryLanguage":{"name":"TLA","color":"#4b0079"},"pullRequestCount":5,"issueCount":12,"starsCount":260,"forksCount":37,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,1,0,0,0,0,2,0,0,0,0,0,1,3,0,0,2,0,1,0,0,0,1,1,1,1,0,0,2,1,2,0,2,1,1,0,0,0,0,0,0,0,1,0,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-17T15:16:56.182Z"}},{"type":"Public","name":"Examples","owner":"tlaplus","isFork":false,"description":"A collection of TLA⁺ specifications of varying complexities","topicNames":["pluscal","tlaplus"],"topicsNotShown":0,"allTopics":["pluscal","tlaplus"],"primaryLanguage":{"name":"TLA","color":"#4b0079"},"pullRequestCount":2,"issueCount":10,"starsCount":1234,"forksCount":188,"license":"Other","participation":[0,0,15,0,0,1,1,1,0,14,1,1,1,2,3,2,0,0,0,1,0,0,0,0,0,2,0,1,4,0,0,0,0,0,8,2,3,1,0,2,0,2,4,1,9,3,7,3,2,0,0,3],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-15T21:28:41.826Z"}},{"type":"Public","name":"conf","owner":"tlaplus","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Creative Commons Attribution 4.0 International","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,1,2,2,0,0,3,0,0,1,0,0,0,2,1,1,3,3,1,3,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-03T17:55:53.235Z"}},{"type":"Public","name":"foundation","owner":"tlaplus","isFork":false,"description":"TLA+ Foundation","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":1,"issueCount":2,"starsCount":25,"forksCount":3,"license":null,"participation":[0,0,0,1,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,1,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-24T01:00:26.180Z"}},{"type":"Public","name":"patterns","owner":"tlaplus","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":1,"starsCount":7,"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,1,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-13T16:15:16.849Z"}},{"type":"Public","name":"awesome-tlaplus","owner":"tlaplus","isFork":true,"description":"A curated list of TLA+ resources.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":1,"issueCount":2,"starsCount":123,"forksCount":21,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-05T22:27:53.382Z"}},{"type":"Public","name":"vscode-tlaplus","owner":"tlaplus","isFork":false,"description":"TLA+ language support for Visual Studio Code","topicNames":["verification","specification","vscode-extension","model-checking","formal-methods","tla","tlc","pluscal"],"topicsNotShown":0,"allTopics":["verification","specification","vscode-extension","model-checking","formal-methods","tla","tlc","pluscal"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":2,"issueCount":65,"starsCount":333,"forksCount":29,"license":"MIT License","participation":[0,1,3,1,0,1,0,0,5,5,0,0,0,0,0,4,1,0,0,0,1,4,1,0,0,0,0,0,0,0,2,0,0,12,0,2,9,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-04T06:29:26.661Z"}},{"type":"Public","name":"azure-cosmos-tla","owner":"tlaplus","isFork":true,"description":"Azure Cosmos TLA+ specifications","topicNames":["azure","model-checking","cosmosdb","tlaplus"],"topicsNotShown":0,"allTopics":["azure","model-checking","cosmosdb","tlaplus"],"primaryLanguage":{"name":"TLA","color":"#4b0079"},"pullRequestCount":0,"issueCount":4,"starsCount":17,"forksCount":37,"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,5,1,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":"2023-12-14T17:56:44.601Z"}},{"type":"Public","name":"tlaplus-standard","owner":"tlaplus","isFork":false,"description":"A collection of various standards, proposed or established, related to TLA+","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TLA","color":"#4b0079"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"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,1,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":"2023-11-11T19:13:13.883Z"}},{"type":"Public","name":"Survey","owner":"tlaplus","isFork":false,"description":"Results TLA+ Surveys","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"Creative Commons Zero v1.0 Universal","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-19T17:35:00.034Z"}},{"type":"Public","name":"discussions","owner":"tlaplus","isFork":false,"description":"Discussions","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-26T16:16:03.683Z"}},{"type":"Public","name":"DrTLAPlus","owner":"tlaplus","isFork":false,"description":"Dr. TLA+ series - learn an algorithm and protocol, study a specification","topicNames":["pluscal","tlaplus","algorithm","protocol"],"topicsNotShown":0,"allTopics":["pluscal","tlaplus","algorithm","protocol"],"primaryLanguage":{"name":"TLA","color":"#4b0079"},"pullRequestCount":0,"issueCount":0,"starsCount":781,"forksCount":98,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-18T20:37:58.181Z"}},{"type":"Public","name":"ConcurrentSCC","owner":"tlaplus","isFork":false,"description":"Prototypes of Concurrent Strongly Connected Components (SCC) algorithms","topicNames":["algorithms","tarjan","scc","concurrent","tlaplus"],"topicsNotShown":0,"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"}},{"type":"Public","name":"lecture","owner":"tlaplus","isFork":false,"description":"The TLA+ Video Course by Leslie Lamport","topicNames":["tla","tla-plus","tlaplus","tla-specification"],"topicsNotShown":0,"allTopics":["tla","tla-plus","tlaplus","tla-specification"],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-27T15:52:52.261Z"}},{"type":"Public","name":"www","owner":"tlaplus","isFork":false,"description":"<a href=\"http://www.tlapl.us\" rel=\"nofollow\">http://www.tlapl.us</a>","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":1,"issueCount":0,"starsCount":1,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-10T19:59:45.974Z"}},{"type":"Public","name":"PlusCalCheatSheet","owner":"tlaplus","isFork":false,"description":"PlusCal Cheat Sheet by Stephan Merz","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":20,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-29T19:56:52.515Z"}},{"type":"Public","name":"rfcs","owner":"tlaplus","isFork":false,"description":"RFCs for changes to the TLA+ specification language","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":5,"starsCount":13,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-25T20:20:48.724Z"}},{"type":"Public","name":"PlusPy","owner":"tlaplus","isFork":false,"description":"Python interpreter for TLA+ specifications","topicNames":["python","interpreter","tla"],"topicsNotShown":0,"allTopics":["python","interpreter","tla"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":110,"forksCount":9,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-12T21:58:56.393Z"}},{"type":"Public archive","name":"tlapm_alternative_parser_experiment","owner":"tlaplus","isFork":false,"description":"The rewrite of TLAPM, the TLAPS proof manager","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":1,"issueCount":18,"starsCount":0,"forksCount":0,"license":"Other","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":"2019-07-23T13:38:40.475Z"}}],"repositoryCount":21,"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"}