This is the home page for Guppy-PE , 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. Note that this package is for Python 2 only. Guppy 3, created by YiFei Zhu for Python 3 (recommende