Explore projects

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

Isabelle2023 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.

Time tracker

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

FluidDyn website

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/)