Isabelle2022 release of the Archive of Formal Proofs
Isabelle2023 release of the Archive of Formal Proofs
Testboard repository for AFP. Push to this repository if you want to test changes for afp-devel.
composition of various benchmark suites used for http://speed.pypy.org
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/
This is the development repository for the evolve extension.
Official repository at: https://mercurial-scm.org/repo/evolve/
Official bug tracker: https://bz.mercurial-scm.org/ (component, "evolution")
"extra" documentation and data for pypy. This contains talks, sprint info, papers and the pypy.org website source.
GitLab CE Rails application, converted to a Mercurial repository and modified for Mercurial support in a Mercurial branch called "Heptapod".
web-based tool to inspect the output of PyPy JIT log
pypy.org website sources
This repo is archived. Please use https://github.com/pypy/pypy.org
Mercurial Comm Repo for SeaMonkey Releases
Mercurial Mozilla Repo for SeaMonkey Releases