{"payload":{"header_redesign_enabled":false,"results":[{"id":"311200284","archived":false,"color":"#b07219","followers":266,"has_funding_file":false,"hl_name":"aya-prover/aya-dev","hl_trunc_description":"A proof assistant and a dependently-typed language","language":"Java","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":311200284,"name":"aya-dev","owner_id":73073122,"owner_login":"aya-prover","updated_at":"2024-07-22T05:18:00.587Z","has_issues":true}},"sponsorable":false,"topics":["dependent-types","proof-assistant","aya"],"type":"Public","help_wanted_issues_count":1,"good_first_issue_issues_count":1,"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%253Aaya-prover%252Faya-dev%2B%2Blanguage%253AJava","metadata":null,"csrf_tokens":{"/aya-prover/aya-dev/star":{"post":"pflsn1-sEam4R8MhJFB4XNQ3pVYCNFc2H_VSh40-C7ZdZrgGMcFmP7-WWg-9ydJNT0w_f0p6f3ldHWKmcqHxzg"},"/aya-prover/aya-dev/unstar":{"post":"xnvArxjvUgmkncrwVo5GMMF98qM2g5DKpawRmxFO-FYXRozG-fwcJnih-bLkopo-bi0xs7rcoDOB2HJNToYqNA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"UFm6hAjs9r01qoWrZeAe3HVIKij7R78ukaHGY1AM0O6qOo2mccekYweRfoUYG1jqgAuDuh_1tPFDxZvZJ-W-hw"}}},"title":"Repository search results"}