{"payload":{"header_redesign_enabled":false,"results":[{"id":"65912716","archived":false,"color":"#e34c26","followers":348,"has_funding_file":false,"hl_name":"epfl-lara/stainless","hl_trunc_description":"Verification framework and tool for higher-order Scala programs","language":"HTML","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":65912716,"name":"stainless","owner_id":3035238,"owner_login":"epfl-lara","updated_at":"2024-05-27T18:46:57.289Z","has_issues":true}},"sponsorable":false,"topics":["scala","verification","proof-assistant","z3","model-checking","formal-methods","inox","smt","cvc4","cvc5"],"type":"Public","help_wanted_issues_count":1,"good_first_issue_issues_count":0,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":67,"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%253Aepfl-lara%252Fstainless%2B%2Blanguage%253AHTML","metadata":null,"csrf_tokens":{"/epfl-lara/stainless/star":{"post":"CNXJYcNlwWR2mTL04qClNPQfLi2P5oZkVqW7yLreNwtUpi0QdCiMr_8WveP9R6b2KYbaF3_5xl1t8qeI6U1ONg"},"/epfl-lara/stainless/unstar":{"post":"b_TgEgsdAwTmRfI01MDD9ON7w-hgdko-ATh2qqCuAjp93NqP0dP5HT1qsH84qSgmgMMHzTBUsyYHkEr9VOc7Wg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"rwa7nz9sKWDvLR-Q-jVEpOMQSwaH15EpBahyEblP7yCCAcGhnlirHu5XiEJW0N8LgS6LIkykkXmEjO8uyyA3yQ"}}},"title":"Repository search results"}