Make usage of Graal features easy and safe from Scala. Also features Scala-based React SSR.
Benchmarks: write in Scala or JS, run in your browser. Live demo:
Convert TLA+ output (and values) into JSON
