{"payload":{"header_redesign_enabled":false,"results":[{"id":"6031140","archived":false,"color":"#3c5caa","followers":14,"has_funding_file":false,"hl_name":"ilyasergey/plt-redex-fj","hl_trunc_description":"A PLT Redex implementation of Featherweight Java","language":"Racket","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":6031140,"name":"plt-redex-fj","owner_id":161937,"owner_login":"ilyasergey","updated_at":"2012-10-08T12:57:31.000Z","has_issues":true}},"sponsorable":false,"topics":["featherweight-java","plt-redex","operational-semantics"],"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":69,"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%253Ailyasergey%252Fplt-redex-fj%2B%2Blanguage%253ARacket","metadata":null,"csrf_tokens":{"/ilyasergey/plt-redex-fj/star":{"post":"wqLIxCgeuHvS6jjpE2KUlxOUbXIS6Mf-w8xUZ2Mfp5gYiq-Am7KtTp_0lGIItkj0tzMlxc-Lgr2444n7ZzcZng"},"/ilyasergey/plt-redex-fj/unstar":{"post":"ZZBDfspK_wEJAfb5jYAsCvullZ2-6Tb63UsUFTaKi6JIW_9TwoDB220kJW7bldNQ06D6Zp6aP6IG518E8x7_Pg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"SUW9qpN7SvCvK4yh2CvfeH8x3ReBEgDR2Nk2tgdW2jiAgLCGs99qIPZAXQIpetjhCXHiGNsZgPDXxI5z1m9kiA"}}},"title":"Repository search results"}