keyvalue
id72123374
nameott
full_nameott-lang/ott
html_urlhttps://github.com/ott-lang/ott
descriptionThe Ott tool for writing definitions of programming languages and calculi
created_atOct. 27, 2016, 3:44 p.m.
updated_atNov. 4, 2024, 11:51 p.m.
pushed_atSept. 21, 2024, 2:28 p.m.
size9,312
stargazers_count347
watchers_count15
forks_count44
open_issues32
languageOCaml
awesome_list

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