Awesome Scala
Login
1 results
Sorting
Stars
Created
Commit Activity
Contributors
Dependent
Contributing Search
Filters
Languages
Scala 2.13 (1)
Platforms
JVM (1)
Topics
json (1)
tla (1)
tla-plus (1)
tlaplus (1)
tlc (1)
japgolly/tla2json
1.0.1
Convert TLA+ output (and values) into JSON
Scala versions:
2.13
tla
json
tlaplus
tla-plus
tlc
23
0
1
1
(current)