{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"CFML-and-Fstar-examples","owner":"cs6217","isFork":false,"description":"Associated code for lecture on logics for first-order functional languages","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-03T07:46:43.724Z"}},{"type":"Public","name":"binary-search-dafny","owner":"cs6217","isFork":false,"description":"Verified Binary Search in Dafny","allTopics":[],"primaryLanguage":{"name":"Dafny","color":"#FFEC25"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-14T02:27:04.532Z"}}],"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"}