{"payload":{"header_redesign_enabled":false,"results":[{"id":"142904767","archived":false,"color":"#ef7a08","followers":9,"has_funding_file":false,"hl_name":"ldltools/dsl4sc","hl_trunc_description":"LDL-based DSL for statechart generation and verification","language":"OCaml","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":142904767,"name":"dsl4sc","owner_id":40327802,"owner_login":"ldltools","updated_at":"2021-10-20T10:57:20.644Z","has_issues":true}},"sponsorable":false,"topics":["dsl","temporal-logic","formal-verification","scxml","statecharts"],"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":58,"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%253Aldltools%252Fdsl4sc%2B%2Blanguage%253AOCaml","metadata":null,"csrf_tokens":{"/ldltools/dsl4sc/star":{"post":"UeZBRWBSOW1EHtP86PjXFKQk8ym1ZWFp0sw9gIeZmlqOh0SJ-3eHVxZS8E9OHIh171UfMaoHTQ1GY-rhJBI8mg"},"/ldltools/dsl4sc/unstar":{"post":"IkRE6-pH4LsOusdAr8Ej__bhEogjbqlqzboLuEes0k94c4z6HbzFGJdZSYTTOE6wXc2aF1U0_0uHzdkEp2BT1A"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"RnKcqo8vS9JQ3gPAETVmi24XPXx8cWB2DhXq8I3cyyzTRsEKIhI2wlSSjWAvooJ0IKYQiIGwf9oSI2rAyHxfvQ"}}},"title":"Repository search results"}