{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"fizzbee","owner":"fizzbee-io","isFork":false,"description":"Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications","allTopics":["prism","ltl","formal-methods","alloy","formal-verification","formal-languages","tla","pluscal","tla-plus","tlaplus","alloy-analyzer"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":99,"forksCount":6,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-15T00:35:19.601Z"}}],"repositoryCount":1,"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"}