Python programming environment Guppy-PE

 Guppy-PE is a programming environment providing object and heap
 memory sizing, profiling and analysis. It includes a prototypical
 specification language that can be used to formally specify aspects of
 Python programs and generate tests and documentation from a common
 source.
 .
 Modules which constitute the environment:
  - Heapy: debugging and optimization regarding memory related issues
    in Python programs
  - GSL (Guppy Specification Language): describes aspects of a system,
    especially its API, in a way that can be automatically converted
    to tests as well as to documents
  - Guppy: umbrella package combining Heapy and GSL with support
    utilities such as the Glue module that keeps things together