ott-lang / ott

The Ott tool for writing definitions of programming languages and calculi
347Updated last month

Related projects

Alternatives and complementary repositories for ott