Pulse

Pulse 2.5.7

Pulse project is an automated build (or continuous integration) server designed to work with you to ensure the integrity of your code.Pulse regularly checks your source code out from your SCM, builds your projects, and notifies you of the...

proboscis

proboscis 1.2.5.3

proboscis is a Nose extension that facilitates higher level testing.Changes how test classes are discovered by forcing them to register via decorators which contain useful metadata such as what groups they are in, whether or not they have dependencies on...

HOL

HOL 7

HOL short from Higher Order Logic is a programming environment in which theorems can be proved and proof tools implemented.Built-in decision procedures and theorem provers can automatically establish many simple theorems. An oracle mechanism gives access...