koehlma

A Python byte code VM written entirely from scratch in JavaScript with some unique features.

A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.