{"payload":{"header_redesign_enabled":false,"results":[{"id":"415070270","archived":false,"color":"#dd1100","followers":7,"has_funding_file":false,"hl_name":"rhennigan/CodeEquivalenceUtilities","hl_trunc_description":"Utilities for testing code equivalence","language":"Mathematica","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":415070270,"name":"CodeEquivalenceUtilities","owner_id":6674723,"owner_login":"rhennigan","updated_at":"2024-06-25T19:48:33.495Z","has_issues":true}},"sponsorable":false,"topics":["education","metaprogramming","equality","type-theory","wolfram-language","canonical-forms","equivalence","code-comparison","code-transformations","intension"],"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":65,"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%253Arhennigan%252FCodeEquivalenceUtilities%2B%2Blanguage%253AMathematica","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/rhennigan/CodeEquivalenceUtilities/star":{"post":"Ipz7tlz6Lk72JVdFWMBqIx3uMVAE6plFgbnLcKJKarO0D2AdYI_2Aa8yyvsArt2ZKM37Uzz0DFLSZZovkgoMbg"},"/rhennigan/CodeEquivalenceUtilities/unstar":{"post":"fGt8B_oE5YNlwEMZjf3ii5mpzyHwt6jsGP-_MP9VZlGpu25GjMymPy0qe5wVddeSgSwwwkcWR8Lk0nkUBdLk3Q"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"u-j99UUPbPD7ECMmS4gKf_6tPTCOF29W_fnb7wrVHy0vfyFzH0lNGPC9EHmAOonM_AoV3MDMDZbrwty8BuyMcw"}}},"title":"Repository search results"}