{"payload":{"header_redesign_enabled":false,"results":[{"id":"26120399","archived":true,"color":"#5e5086","followers":13,"has_funding_file":false,"hl_name":"wenkokke/NLQ","hl_trunc_description":"A framework for natural language syntax and semantics based on type theory.","language":"Haskell","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":26120399,"name":"NLQ","owner_id":3983973,"owner_login":"wenkokke","updated_at":"2024-02-28T17:35:46.846Z","has_issues":true}},"sponsorable":false,"topics":["thesis","natural-language","type-system","categorial-grammar"],"type":"Public archive","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":58,"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%253Awenkokke%252FNLQ%2B%2Blanguage%253AHaskell","metadata":null,"csrf_tokens":{"/wenkokke/NLQ/star":{"post":"CDbWf-gWzKf2asrUOyLKk8jNBJUoveGWWJ8sCAbLgK2SsjHIf4zoGy0RB-UdciZD0jlaReswCduEToM3OjF-nA"},"/wenkokke/NLQ/unstar":{"post":"5KVqJHo-c5uNXPKhND6-hrp2Aq8lEmqm3OZo049wXMp1Bx_XLm_R-fWWdLYMUThNasY2pHHlY68lvSganT9w8w"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"cEN7hwLgAcYfqO-7OCg-JjSyU_4pw8cMfSQfqWVt05m9K10r_nJYm-rWHYCcgozVZIoE0zJCMsBM1VPkq7E1LQ"}}},"title":"Repository search results"}