{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"cafeobj","owner":"CafeOBJ","isFork":false,"description":"Development of the CafeOBJ interpreter","allTopics":["verification","specification","algebraic-specification","cafeobj"],"primaryLanguage":{"name":"Common Lisp","color":"#3fb68b"},"pullRequestCount":2,"issueCount":1,"starsCount":32,"forksCount":5,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-13T21:31:56.390Z"}},{"type":"Public","name":"homebrew-cafeobj","owner":"CafeOBJ","isFork":false,"description":"Homebrew Tap for CafeOBJ","allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-01-16T00:53:17.257Z"}}],"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":"CafeOBJ repositories"}