Explore projects

web-based tool to inspect the output of PyPy JIT log

https://bitbucket.org/sborho/iniparse/ (hgsubversion import of http://iniparse.googlecode.com/svn/trunk/)

Series of tools to generate and visualise stats from a bugzilla repository

FluidDyn website

Mirror of https://lab.fedeproxy.eu/fedeproxy/fedeproxy/

See https://forum.fedeproxy.eu/t/heptapod-fedeproxy-counterpart/223 for the discussion

"extra" documentation and data for pypy. This contains talks, sprint info, papers and the pypy.org website source.

This is a small package containing a Sphinx theme named "Cloud", along with some related Sphinx extensions. See the documentation for an example of this theme, and more details - https://cloud-sptheme.readthedocs.io/

Time tracker

PyPy custom extensions to buildbot.

composition of various benchmark suites used for http://speed.pypy.org

To be deleted.

Development version of the Archive of Formal Proofs

Isabelle2023 release of the Archive of Formal Proofs