{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"tlapm","owner":"tlaplus","isFork":false,"description":"The TLA Proof Manager","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":13,"issueCount":36,"starsCount":58,"forksCount":19,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-29T20:17:20.908Z"}},{"type":"Public archive","name":"tlapm_alternative_parser_experiment","owner":"tlaplus","isFork":false,"description":"The rewrite of TLAPM, the TLAPS proof manager","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":1,"issueCount":18,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-23T13:38:40.475Z"}}],"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"}