{"payload":{"header_redesign_enabled":false,"results":[{"id":"51223921","archived":false,"color":"#ef7a08","followers":75,"has_funding_file":false,"hl_name":"Gbury/dolmen","hl_trunc_description":"Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction","language":"OCaml","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":51223921,"name":"dolmen","owner_id":1477907,"owner_login":"Gbury","updated_at":"2024-05-14T15:41:04.658Z","has_issues":true}},"sponsorable":false,"topics":["language","typechecker","parse","model","ocaml","theorem-proving","ocaml-library","functor","tptp","atp","smt-lib","flexible-parsers"],"type":"Public","help_wanted_issues_count":1,"good_first_issue_issues_count":0,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":59,"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%253AGbury%252Fdolmen%2B%2Blanguage%253AOCaml","metadata":null,"csrf_tokens":{"/Gbury/dolmen/star":{"post":"vpi9vjeMo4FuqGOSqyr9DSCuRnu-29Ko1rWXAWtfRt1QDOdolvNTVjrh8q6kWbEazpi_8uke8O6COifFcZH49w"},"/Gbury/dolmen/unstar":{"post":"Zg2NOm8R_nE4iweyTXhRzClMqnXNwHuSAycTiqDoOV61aR6sOPBlqkAeDgBSJFEKoXCq6yoCl6rz9FryW1ufLg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"-ALx9efluxjpKOxvqM3YgvoyvrnQVAskm3qQDrMW8LkstebJK9OWqlFGf7GfCq53aifdcaHAODMKjPbV-uS3WQ"}}},"title":"Repository search results"}