{"payload":{"header_redesign_enabled":false,"results":[{"id":"153085324","archived":false,"color":"#3572A5","followers":25,"has_funding_file":false,"hl_name":"huanzhang12/RecurJac-and-CROWN","hl_trunc_description":"Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms) …","language":"Python","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":153085324,"name":"RecurJac-and-CROWN","owner_id":8021844,"owner_login":"huanzhang12","updated_at":"2019-11-23T02:31:18.853Z","has_issues":true}},"sponsorable":false,"topics":["robustness-verification","crown-bounds","jacobian-bounds","robustness-certification","recurjac","lipschitz-constant"],"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":77,"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%253Ahuanzhang12%252FRecurJac-and-CROWN%2B%2Blanguage%253APython","metadata":null,"csrf_tokens":{"/huanzhang12/RecurJac-and-CROWN/star":{"post":"qbfVXT-LIKh9QwLdd4E2qXU6qXHB3yQIpe1Yf0JZ_57wonw55O7CdMn0TB7oOXfK3J2r4Ap3hUnAQdUHk7x-HA"},"/huanzhang12/RecurJac-and-CROWN/unstar":{"post":"246Mesvfh-WPUpJbVBjniDjbhll-4JS_3ha9SBQmJP1Qw4EvQLKr9hX9tc3lZ4soAcMe5R8-2BiZAeq-b8RLNA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"ZTaIhoQvgf5KFBGTRl9Oa2yoW6pwbcEvdBP7cKkwKFBhWQ1CrrI4Oi3ncyMQu2aDJF_eD1N865FMfYDvMUH1Qw"}}},"title":"Repository search results"}