spin

The efficient verification tool of multi-threaded software

https://spinroot.com/spin/whatispin.html

/api/formula-linux/spin.json (JSON API)

Linux formula code on GitHub

Current versions:

stable 6.5.0
bottle 🍾 catalina, mojave, high_sierra, sierra, x86_64_linux

Depends on when building from source:

bison 3.4.2 Parser generator
Fork me on GitHub