{"payload":{"header_redesign_enabled":false,"results":[{"id":"719239478","archived":false,"color":"#3572A5","followers":92,"has_funding_file":false,"hl_name":"agiresearch/Formal-LLM","hl_trunc_description":"Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents","language":"Python","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":719239478,"name":"Formal-LLM","owner_id":130198651,"owner_login":"agiresearch","updated_at":"2024-03-29T23:58:12.271Z","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":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%253Aagiresearch%252FFormal-LLM%2B%2Blanguage%253APython","metadata":null,"csrf_tokens":{"/agiresearch/Formal-LLM/star":{"post":"vTn7Tqs_1Qrynfrj3efScIF3oV3HHoRTjjyyhHWBeFq2A59fpX2WNzD2poiua7zXCw4hhz0rd1byYZwMlHnZPg"},"/agiresearch/Formal-LLM/unstar":{"post":"bUFUpndWCc_VCd07gqRmoYb9mDPxPMgMzSTq4xml2LRHj5yeOaxUF4A82e-bP5Fa_tjLObz3cGOS4KFw7sM1aA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"Z0yEPj35CuFGm69152TV3aatFpIQBkR8s6wl04AdZd1vPY_rAegDFgPOfKPHJQ1JcyZ5YUqQMiC6W6uWwowxeg"}}},"title":"Repository search results"}