{"payload":{"header_redesign_enabled":false,"results":[{"id":"3798198","archived":false,"color":"#f34b7d","followers":1,"has_funding_file":false,"hl_name":"ivissani/rfm","hl_trunc_description":"My research at Relational Formal Methods","language":"C++","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":3798198,"name":"rfm","owner_id":784088,"owner_login":"ivissani","updated_at":"2014-08-09T12:23:22.630Z","has_issues":true}},"sponsorable":false,"topics":[],"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":96,"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%253Aivissani%252Frfm%2B%2Blanguage%253AC%252B%252B","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/ivissani/rfm/star":{"post":"t8BNROys10eamZ68YY-YnE3ln8bO7OZ1Gtiy-nU--awMZYjkicuDWWyUpqBvKJ7k-UB7CHkZWOfJfkK2u1poIg"},"/ivissani/rfm/unstar":{"post":"rlmJcfHAR6oNnp3OtIm0SEx-E9tjekiJBEGHO1Vbj3qX8sxHORPjfYYfDr57w2lGx5eVAAI9nhkac9I12gozAw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"PGZwKwEaP4sbMjdT5tDFAgbXk6OjS9yuxD7nrsvvUyCfenIu2jIQXhzIHS8te1kd__f3GJTckGsiJ-ZkHdhuhA"}}},"title":"Repository search results"}