GitHub repository: sylvanc/verona-bc
Primary language: C++
Description: An experimental byte code interpreter for the Verona operational semantics