{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"pgo","owner":"DistCompiler","isFork":false,"description":"PGo is a source to source compiler from Modular PlusCal specs into Go programs.","allTopics":["go","distributed-systems","compiler","tla","pgo","pluscal","scala"],"primaryLanguage":{"name":"TLA","color":"#4b0079"},"pullRequestCount":1,"issueCount":17,"starsCount":170,"forksCount":13,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-01T19:47:14.193Z"}},{"type":"Public","name":"distcompiler.github.io","owner":"DistCompiler","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"MDX","color":"#fcb32c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-01T18:34:17.630Z"}},{"type":"Public","name":"pgo-artifact","owner":"DistCompiler","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-29T01:27:22.743Z"}},{"type":"Public","name":"roshiapp","owner":"DistCompiler","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-24T23:37:46.703Z"}}],"repositoryCount":4,"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"}