{"payload":{"header_redesign_enabled":false,"results":[{"id":"407461560","archived":false,"color":"#74283c","followers":4,"has_funding_file":false,"hl_name":"di-unipi-socc/fogbrainx","hl_trunc_description":"continuous reasoning for managing next-gen Cloud-IoT applications in continuity with the CI/CD pipeline","language":"Prolog","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":407461560,"name":"fogbrainx","owner_id":19588253,"owner_login":"di-unipi-socc","updated_at":"2023-04-28T10:08:39.018Z","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":48,"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%253Adi-unipi-socc%252Ffogbrainx%2B%2Blanguage%253AProlog","metadata":null,"csrf_tokens":{"/di-unipi-socc/fogbrainx/star":{"post":"uBZYpU1ANADfTa8YU0dHO5hW862wFKCCE0EBUYnUgyKkjz__sTtD7OmF7YT6zRLMC-DdyWcgybiMB_ysBbWAsw"},"/di-unipi-socc/fogbrainx/unstar":{"post":"Jt1OKaxTlevNkmedqneZbzTanY-KsYGEK__swXB9beKtVaHtTh-ZkQ0mQqEdtwBkaZi51hOYh-t1sQCWAlC-cg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"UMjnj51NrC_7ZMRzW5vHlLhqPAvpASWG7G6-5eFPtUYI4PVnBNtZEnSJTfbJ-j0UEw0OS9vTNRC-kL4bszmw-w"}}},"title":"Repository search results"}