ott-lang / ott

The Ott tool for writing definitions of programming languages and calculi
349Updated 2 months ago

Related projects

Alternatives and complementary repositories for ott