{"payload":{"header_redesign_enabled":false,"results":[{"id":"136576998","archived":false,"color":"#000100","followers":0,"has_funding_file":false,"hl_name":"robindar/semver-smt","hl_trunc_description":"Mini Solveur SMT - Sémantique et Vérification - ENS","language":"Crystal","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":136576998,"name":"semver-smt","owner_id":15001088,"owner_login":"robindar","updated_at":"2018-06-08T22:12:04.978Z","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":48,"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%253Arobindar%252Fsemver-smt%2B%2Blanguage%253ACrystal","metadata":null,"csrf_tokens":{"/robindar/semver-smt/star":{"post":"P_rt17xveH82lGP9G96FdJXCMILYsVVnsnZxg4EfNQZiKxvjFMyH3RL2oXsnK_i-It8pZ7No9qys4F-KJJ6i4g"},"/robindar/semver-smt/unstar":{"post":"drjc4hYLyShOJqCToX-xO07n3KSBZc8Ada0wcZq6iuP1QW5fIrS8zEl2Wq9ucQm3Sukwn4eNgiSetioXNxIxcg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"t76Sppd4wOEPVF6FI6Uis9RCYa9tvn1Ha7aGFhTCxMjWXU2RcEQSanriJmCtner15DxRMf2XSPXMD-4NoBQQzg"}}},"title":"Repository search results"}