Isabelle2020 release of the Archive of Formal Proofs
Isabelle2021 release of the Archive of Formal Proofs
Isabelle2021-1 release of the Archive of Formal Proofs
Development version of the Archive of Formal Proofs
To be deleted.
composition of various benchmark suites used for http://speed.pypy.org
PyPy custom extensions to buildbot.
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/
"extra" documentation and data for pypy. This contains talks, sprint info, papers and the pypy.org website source.
Mirror of https://lab.fedeproxy.eu/fedeproxy/fedeproxy/
See https://forum.fedeproxy.eu/t/heptapod-fedeproxy-counterpart/223 for the discussion
Series of tools to generate and visualise stats from a bugzilla repository
https://bitbucket.org/sborho/iniparse/ (hgsubversion import of http://iniparse.googlecode.com/svn/trunk/)
web-based tool to inspect the output of PyPy JIT log