{"payload":{"header_redesign_enabled":false,"results":[{"id":"102668055","archived":false,"color":"#b07219","followers":4,"has_funding_file":false,"hl_name":"star-finder/jpf-symbc","hl_trunc_description":"Symbolic PathFinder","language":"Java","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":102668055,"name":"jpf-symbc","owner_id":31490292,"owner_login":"star-finder","updated_at":"2019-02-06T06:14:06.783Z","has_issues":true}},"sponsorable":false,"topics":["java","symbolic-execution","symbolic-execution-engine"],"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":102,"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%253Astar-finder%252Fjpf-symbc%2B%2Blanguage%253AJava","metadata":null,"csrf_tokens":{"/star-finder/jpf-symbc/star":{"post":"rfm2SSjnpZHvHYkaCBd2dVxHEsHN1_NSypJWuFRzKpGTMUYD9Mk9WpoGkyGC9Dq3320yYMZJ0xtxbUs5rtUX3A"},"/star-finder/jpf-symbc/unstar":{"post":"FABeCAO5pN3-Hua9T-1xwqN9jJrdwPkct-5Y62yGFbmwc_v3PvyUwpTIDNT2-l6oeiIewiX8CYB087y_ERRt2A"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"2j953i_cr1rQ-qNvIjlWt-VPHjqW4joKKbGpHVVUlwxPHyiiLI8SaiPkhtazFW3VhVpQoQ5XfNCoy6Oz_W3ivg"}}},"title":"Repository search results"}