ott-lang / ottLinks

The Ott tool for writing definitions of programming languages and calculi
373Updated 5 months ago

Alternatives and similar repositories for ott

Users that are interested in ott are comparing it to the libraries listed below

Sorting: