{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"magmide","owner":"magmide","isFork":false,"description":"A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.","topicNames":["dependent-types","formal-methods","type-safety","formal-verification","systems-programming","coq","logic","verification"],"topicsNotShown":0,"allTopics":["dependent-types","formal-methods","type-safety","formal-verification","systems-programming","coq","logic","verification"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":808,"forksCount":14,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-01T17:04:19.897Z"}},{"type":"Public","name":"purpose-talk","owner":"magmide","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-02T16:40:41.371Z"}}],"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"}