{"payload":{"header_redesign_enabled":false,"results":[{"id":"116421037","archived":false,"color":"#ef7a08","followers":0,"has_funding_file":false,"hl_name":"kbreczko/proof-checker","hl_trunc_description":"Program do sprawdzenia poprawności dowodów formuł logicznych w systemie dedukcji naturalnej","language":"OCaml","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":116421037,"name":"proof-checker","owner_id":18629689,"owner_login":"kbreczko","updated_at":"2018-03-21T00:06:47.410Z","has_issues":true}},"sponsorable":false,"topics":["parser","menhir","lexer","natural-deduction","ocamllex"],"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":83,"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%253Akbreczko%252Fproof-checker%2B%2Blanguage%253AOCaml","metadata":null,"csrf_tokens":{"/kbreczko/proof-checker/star":{"post":"rjuU8-noln8oEW3u7xy57WBbDhZkjD5JD-gdyao9j03BAsRpXopqwfmxkDAobUVkVMStd6ZMtTpmCVsU5kA5kw"},"/kbreczko/proof-checker/unstar":{"post":"3quMoaFmaQGJA1gk0ipCecnWU-6FSUlvhOZ2zr8xWrEAaXbqzgsnSKRNaJSaXqG1jrVRcPKKyuXhDPpvBvuQYA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"t3TDDMOvk7bfmYJ2lK88divt7fIVDK0c0hpSW6OEk9Q1KQSBgLGpplQto7vMkZiwxcUDiYlBhT1ZgvV2ddPYsw"}}},"title":"Repository search results"}