{"payload":{"header_redesign_enabled":false,"results":[{"id":"73473560","archived":false,"color":"#f1e05a","followers":4,"has_funding_file":false,"hl_name":"harrytallbelt/verifiable-tests","hl_trunc_description":"An attempt to apply formal methods (D. Gries style) to specification and verification of code-writting tasks for CS students.","language":"JavaScript","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":73473560,"name":"verifiable-tests","owner_id":19192813,"owner_login":"harrytallbelt","updated_at":"2018-01-20T19:07:10.604Z","has_issues":true}},"sponsorable":false,"topics":["nodejs","javascript","antlr4","formal-methods","simplify","formal-verification","student-project","weakest-preconditions"],"type":"Public","help_wanted_issues_count":0,"good_first_issue_issues_count":0,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":66,"errors":[],"result_count":1,"facets":[],"protected_org_logins":[],"topics":null,"query_id":"","logged_in":false,"sign_up_path":"/signup?source=code_search_results","sign_in_path":"/login?return_to=https%3A%2F%2Fgithub.com%2Fsearch%3Fq%3Drepo%253Aharrytallbelt%252Fverifiable-tests%2B%2Blanguage%253AJavaScript","metadata":null,"csrf_tokens":{"/harrytallbelt/verifiable-tests/star":{"post":"sofmAMa33BbOQoBs5bGn-i_wMjs1ZxMVRuhdWmUmYrzfBq44Q4dBW6Ym4PIojoCi44_X0Ol8jIUWfw03nU5zbQ"},"/harrytallbelt/verifiable-tests/unstar":{"post":"wt5VaKYfGIq5zNj4zjpBlZJ8GhM8lz8jNgcBdj87pLfuKLXL2Xd3Bcuz5sI2AiFx9g1kU9y2FOPPVp1x4KJtug"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"SuJU9IjiWHRkubVpymOSm7Vi4tTKfUcyj94_GxnLzd6lJxzhQs6Mwr-P-3RMVgG3p5rEOXrR_UUw1eeYnK613Q"}}},"title":"Repository search results"}