{"payload":{"header_redesign_enabled":false,"results":[{"id":"284750979","archived":false,"color":"#5e5086","followers":1,"has_funding_file":false,"hl_name":"raulpy271/ValidationMethods","hl_trunc_description":"🧮 validation methods of propositional logic","language":"Haskell","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":284750979,"name":"ValidationMethods","owner_id":56479285,"owner_login":"raulpy271","updated_at":"2020-08-23T16:22:12.154Z","has_issues":true}},"sponsorable":false,"topics":["formula","haskell","tree","functional-programming","proof","algebraic-data-types","tautology","propositional-calculus","contradiction"],"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":49,"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%253Araulpy271%252FValidationMethods%2B%2Blanguage%253AHaskell","metadata":null,"csrf_tokens":{"/raulpy271/ValidationMethods/star":{"post":"km2r4m4Kf5UT3pCI01w72lbAm9UQphwQvCETNPkrn8-b8QwbHmjt6gwk7lkKL8yw3_SdbFuRg2Dz8u50Euv86Q"},"/raulpy271/ValidationMethods/unstar":{"post":"xbGzyo1Wcf_lvlEwKheC23eeoUTNr_FoIDgywV_240ISf2qjUvkLOBxVOFuaf0aanR6vo95aEnSFnkXPXMJ3ZQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"w1TcioWPtOub3clrCjORYT9uXeETVx9uaTEMAWF_e6DnR8WSQPc3Dms7AVLrxLM3C8hpRXeKizs3Kg2mJujG4w"}}},"title":"Repository search results"}