{"payload":{"header_redesign_enabled":false,"results":[{"id":"264406649","archived":false,"color":"#3572A5","followers":1,"has_funding_file":false,"hl_name":"demiourgoi/ROS_navfn_verification","hl_trunc_description":"Maude integration and verification for ROS Nav 2","language":"Python","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":264406649,"name":"ROS_navfn_verification","owner_id":47551606,"owner_login":"demiourgoi","updated_at":"2022-09-18T12:59:22.108Z","has_issues":true}},"sponsorable":false,"topics":["dafny","formal-verification","maude","ros2"],"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":81,"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%253Ademiourgoi%252FROS_navfn_verification%2B%2Blanguage%253APython","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/demiourgoi/ROS_navfn_verification/star":{"post":"T0yHZDy74PuLcQkenD76B_WyKLFPVIMQWs-vOLrIYnKvhpDD0wT-u2rxJt_xx-lDxGL3AEzt-wtrdxpUvAoooA"},"/demiourgoi/ROS_navfn_verification/unstar":{"post":"HK5eYgBWIQVn_kk81TZgtfriSDYVQCM4rmZ2giS9ScTUxCjqHe6RAxls9teQ2SUrWgjjndCHfGNil9il4j0p_w"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"3IUriYoBt61JjZuEYUKBWtXVDfRSoBDRxn0niRbL9Ajh4PGFd77AptayMmfsXWu-MkiC6em8wVhI--0lIlCEFg"}}},"title":"Repository search results"}