anishathalye / porcupine

A fast linearizability checker written in Go πŸ”Ž
β˜†1,000Updated last month

Alternatives and similar repositories for porcupine:

Users that are interested in porcupine are comparing it to the libraries listed below