{"payload":{"header_redesign_enabled":false,"results":[{"id":"15179826","archived":false,"color":"#b30000","followers":157,"has_funding_file":false,"hl_name":"timjb/quantities","hl_trunc_description":"Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐","language":"Idris","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":15179826,"name":"quantities","owner_id":124073,"owner_login":"timjb","updated_at":"2019-01-28T15:20:43.771Z","has_issues":true}},"sponsorable":false,"topics":["units-of-measure","unit-conversion","type-safety"],"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":60,"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%253Atimjb%252Fquantities%2B%2Blanguage%253AIdris","metadata":null,"csrf_tokens":{"/timjb/quantities/star":{"post":"Hsf8PasCU9saOtdDqN9jacH3KvU2ol1KQTMBVqq9Z0JJjtQQVg5AeeP6tNydAmHuhWWBuSsrqEa6Ng0gkPi8og"},"/timjb/quantities/unstar":{"post":"_Bu6SmuEhTRtRCPLQdbyot1YpjOx1tIE2eIiKChDiwBXYoXOrqqx9UDugOy9kv3NiiK-D_ovU_3z-ZXwez4nRw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"_V5sCjS_nM2UbKFnbJvOMHa29xTHtj1LLLtrBlT98Zwc0LihxVN9J60AtaDGZHyXX1bteDgrcm8f6LhOHAC6UQ"}}},"title":"Repository search results"}