{"payload":{"header_redesign_enabled":false,"results":[{"id":"39441587","archived":false,"color":"#74283c","followers":78,"has_funding_file":false,"hl_name":"aartikis/RTEC","hl_trunc_description":"RTEC is an Event Calculus implementation optimised for stream reasoning","language":"Prolog","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":39441587,"name":"RTEC","owner_id":7901546,"owner_login":"aartikis","updated_at":"2024-03-09T08:47:48.765Z","has_issues":true}},"sponsorable":false,"topics":["data-science","cep","prolog","artificial-intelligence","stream-processing","logic-programming","complex-event-processing","multi-agent-systems","data-stream-processing","event-calculus","stream-reasoning","complex-event-recognition"],"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":66,"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%253Aaartikis%252FRTEC%2B%2Blanguage%253AProlog","metadata":null,"csrf_tokens":{"/aartikis/RTEC/star":{"post":"Kg1LVIaUe5-_cD1o4_8rEqrRvWTnWB182sJpUU_jiGiBxXYD8ddf6JbNcMmtwVtKOV3dWmMiwlyT7qucHz7Lvg"},"/aartikis/RTEC/unstar":{"post":"dbSpZ3A8SxXo3vjUiD46BO9-DHWPn9-X-bHvVIljd5444Fs7aUt-BoeqoZS-xMWswRMVYftlbCmCXB9Vwk-pgA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"-HVEBBTR-NPEDH0gnDVZ5ak87zBYlXyfRduQAze9qqaXJ1VyvpkN9_7FfbXzSIsmNkojPiPp7jYBrrrHQSlzyQ"}}},"title":"Repository search results"}