54 packages found. Page 2 of 2.

« First ‹ Previous 1 2

Name Version Votes Popularity? Description Maintainer
why3-git 0.72.r3740.g406e7f0-2 1 0.00 The next generation of the former software verification platform Why kaptoxic
xnap 2.5r3-1 0 0.00 OpenNap Client. kaptoxic
yofrankie 1.1-5 6 0.00 A 3D platform game based on the bully rodent in Big Buck Bunny kaptoxic
z3-bin 4.5.0-2 6 0.00 An automatic high-performance theorem prover kaptoxic

54 packages found. Page 2 of 2.

« First ‹ Previous 1 2