{"payload":{"header_redesign_enabled":false,"results":[{"id":"654201837","archived":false,"color":"#c22d40","followers":5,"has_funding_file":false,"hl_name":"onera/pml-analyzer","hl_trunc_description":"The PML analyzer is an open source API providing a simple DSL to build a description of the architecture of your chip based on the PHYLOG…","language":"Scala","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":654201837,"name":"pml-analyzer","owner_id":118024617,"owner_login":"onera","updated_at":"2024-04-12T14:45:51.923Z","has_issues":true}},"sponsorable":false,"topics":["formal-methods","multi-core","certification","formal-languages","interference","safety-critical"],"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":63,"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%253Aonera%252Fpml-analyzer%2B%2Blanguage%253AScala","metadata":null,"csrf_tokens":{"/onera/pml-analyzer/star":{"post":"-mfJLmkS24w-H5Q9AYjX_faBjgRuk58UayGIfe96rEU2mRrkyJlAT5vKBuEEkhdqeuifYQmo-2nmLZhrX7Vg_A"},"/onera/pml-analyzer/unstar":{"post":"RuIdXU30PR7l3-VaFaqU0hGHIfO43iqpVVTy6A5ktSBOUo_n2XV5wrFCAfrXlXFXqFPsEc-_36d-qbktyVYiow"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"Rfa9Feui-Y-aorunNBA2C51uqDF5Fyuy-iT1vBDZKU7FhJA0dpw04eSHeoz8KDsDglQWjc7wZaqiJCHjJXMROQ"}}},"title":"Repository search results"}