https://github.com/Fabien-Chouteau/bbqueue-spark
MIT
0.3.1
An Ada/SPARK proved implementation of James Munns’ BBQueue (https://github.com/jamesmunns/bbqueue)