3 ms·
Clojure to TLA+ https://github.com/Viasat/salt https://github.com/Viasat/salt Successor: https://github.com/Viasat/halite https://github.com/Viasat/halite
by Kevin09210 3y ago
Clojure to TLA+
https://github.com/Viasat/salt https://github.com/Viasat/salt
Successor: https://github.com/Viasat/halite https://github.com/Viasat/halite
- bugarela 3y agoI didn't take a very deep look yet, but this might be similar to https://github.com/pfeodrippe/recife https://github.com/pfeodrippe/recife