{"payload":{"header_redesign_enabled":false,"results":[{"id":"13683952","archived":false,"color":"#e34c26","followers":749,"has_funding_file":false,"hl_name":"herbie-fp/herbie","hl_trunc_description":"Optimize floating-point expressions for accuracy","language":"HTML","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":13683952,"name":"herbie","owner_id":61166750,"owner_login":"herbie-fp","updated_at":"2024-06-20T18:31:54.152Z","has_issues":true}},"sponsorable":false,"topics":["racket","developer-tools","synthesis","numerical-methods","floating-point","herbie"],"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":87,"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%253Aherbie-fp%252Fherbie%2B%2Blanguage%253AHTML","metadata":null,"csrf_tokens":{"/herbie-fp/herbie/star":{"post":"qWXfIwsfzD6sk2KlBI5QAaTrn9IkUy-0Cehjnk9Uc9wwvYxe4UU3o66nzMGvH9xtcGU7uHRV5iFvXzqRz_HAqg"},"/herbie-fp/herbie/unstar":{"post":"x0BKN125Uys5nRCQOQS-f3dzE67q7XVyF7ZTiANxry9n8Qy1N74QvLLKn-XZPka60VMzNnzKjezxbqcUfVq3fg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"uEn4sjX4y6FXHNxsLm7lyMeAHLkXXCfmyx93jHBbGoIY65vDVsh44n2x7aVjj7f4tNtE9czPofDtXdIXN9_tug"}}},"title":"Repository search results"}