2 Search Results
ott
A tool for writing definitions of programming languages and calculi
0.32
BSD-3-Clause; LGPL-2.1-only
Used by 1 other packages