ProtoQuipper. Implementation of the Proto-Quipper language
n64. C++
Verif. Abstract Interpretation Tool
ps1. C++
