keyvalue
id119706050
namesail
full_namerems-project/sail
html_urlhttps://github.com/rems-project/sail
descriptionSail architecture definition language
created_atJan. 31, 2018, 3:33 p.m.
updated_atNov. 17, 2024, 12:44 a.m.
pushed_atNov. 15, 2024, 11:43 p.m.
size54,265
stargazers_count618
watchers_count35
forks_count112
open_issues159
languageIsabelle
awesome_list

https://github.com/coq-community/awesome-coq