8 Forks
108 Stars
108 Watchers

PlusPy

Python interpreter for TLA+ specifications

How to download and setup PlusPy

Open terminal and run command
git clone https://github.com/tlaplus/PlusPy.git
git clone is used to create a copy or clone of PlusPy repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with PlusPy https://github.com/tlaplus/PlusPy/archive/master.zip

Or simply clone PlusPy with SSH
[email protected]:tlaplus/PlusPy.git

If you have some problems with PlusPy

You may open issue on PlusPy support forum (system) here: https://github.com/tlaplus/PlusPy/issues

Similar to PlusPy repositories

Here you may see PlusPy alternatives and analogs

 oh    v8    red    awesome-compilers    enso    miniMAL    wren    gravity    interpreter-bugs    sh    szl    goby    jquery.terminal    codi.vim    lily    craftinginterpreters    cling    gomacro    root    tiny-compiler    jaspy    zetavm    goruby    hython    renjin    joker    PH7    picrin    05AB1E    xeus