{"payload":{"header_redesign_enabled":false,"results":[{"id":"153732715","archived":false,"color":"#A97BFF","followers":510,"has_funding_file":true,"hl_name":"breandan/kotlingrad","hl_trunc_description":"🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types","language":"Kotlin","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":153732715,"name":"kotlingrad","owner_id":175716,"owner_login":"breandan","updated_at":"2023-04-11T15:48:22.456Z","has_issues":true}},"sponsorable":true,"topics":["kotlin","types","computer-algebra","optimization","linear-algebra","automatic-differentiation","algebraic-data-types","chinese","gradient-descent","message-passing","symbolic-differentiation","differentiable-programming","multi-stage-programming","array-programming","shape-safety"],"type":"Public","help_wanted_issues_count":1,"good_first_issue_issues_count":1,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":56,"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%253Abreandan%252Fkotlingrad%2B%2Blanguage%253AKotlin","metadata":null,"csrf_tokens":{"/breandan/kotlingrad/star":{"post":"tOcdmVY5BaFoY9BJSnRFYNqjRzIUXLHJlXlF1t1tUVWG5oWtbnmFs3lV9MIJ0-pP3_OQb5Y_b5GrbnAGi0Bb7A"},"/breandan/kotlingrad/unstar":{"post":"6TYeWZp-kWgnDfwlKXrO1O8EZrlDOlqWk7hvUA_yw-nSjjhk7_Lw3-vvg14K0MPOPC9bLI0uce23anyZLHtsZg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"KzLgLurS62eov3_Li9vSYIRaj6Jm4L-UAqUChoIjolmflMIiFZZ4aDhJttk1F-6kvC6cFD7cLCM1-NQNd9_mBQ"}}},"title":"Repository search results"}