{"payload":{"header_redesign_enabled":false,"results":[{"id":"753398136","archived":false,"color":"#64C800","followers":4,"has_funding_file":false,"hl_name":"aliebayani/FormalMethods-Alloy","hl_trunc_description":"Formal Methods Project and Exercises with Alloy (2022 Course)","language":"Alloy","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":753398136,"name":"FormalMethods-Alloy","owner_id":84978098,"owner_login":"aliebayani","updated_at":"2024-02-09T13:34:04.105Z","has_issues":true}},"sponsorable":false,"topics":["formal-methods","alloy","alloy-analyzer"],"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":87,"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%253Aaliebayani%252FFormalMethods-Alloy%2B%2Blanguage%253AAlloy","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/aliebayani/FormalMethods-Alloy/star":{"post":"9uPTA8DBB5yHOq87N-73Non6r8AtWPbnxau47Mrs_ABA5fp5-mx3eesoD4TEBgMOnIn0TW0m72tIozRSqNFLuw"},"/aliebayani/FormalMethods-Alloy/unstar":{"post":"6G5TBSZsjdf1yxRQigqE7zEyhuUdMVnsYS1LGyUzNIAjsKDHTekxG41oWAAYHuDCcarHo4_bSkdvBvR_frh-OA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"Jk0xI6kStLZfCzvoYMks66jS6oYrybhUfnc8k_yZrpdgowFfW8j3OOB9R0Faxoj-sXM_7-ehAO_atKt68a5YRA"}}},"title":"Repository search results"}