{"payload":{"header_redesign_enabled":false,"results":[{"id":"1315857","archived":false,"color":"#dc566d","followers":9,"has_funding_file":false,"hl_name":"iislucas/isaplib","hl_trunc_description":"Isabelle/IsaPlanner SML Library (for PolyML)","language":"Standard ML","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":1315857,"name":"isaplib","owner_id":415450,"owner_login":"iislucas","updated_at":"2015-12-16T05:02:10.649Z","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":72,"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%253Aiislucas%252Fisaplib%2B%2Blanguage%253A%2522Standard%2BML%2522","metadata":null,"csrf_tokens":{"/iislucas/isaplib/star":{"post":"nDBsB7rem_odts-4zSky3TLFKFSGBjNdz_u1m0b02HMkJwE38VheSgKS4cucp9hz4VBAEtN052x5FT8vgTXAoQ"},"/iislucas/isaplib/unstar":{"post":"EP9TFjtPqbxcjUhLe1GHMJtJJ2O4DGOxipSO8p9_o3OptWb4-0Y4Pl4RvL6pt2zCMpgt-t0V7TtXLEQ7LkB8CA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"RSUPLn3oRw1e4rBTLftP7MxMYnFlQMm2jp37HKCgOTp1ORmlg_2DLgvIyB70HjL80cM5whWWaHj1Oy7E1wwSFA"}}},"title":"Repository search results"}