This instance will be upgraded to Heptapod 0.40.0 (final) on 2023-12-05 at 16:00 UTC+1
web-based tool to inspect the output of PyPy JIT log
Syntax highlighting and other editor support features for the ZIL language.
"extra" documentation and data for pypy. This contains talks, sprint info, papers and the pypy.org website source.
Windows binary package builder for TortoiseHg and Mercurial
composition of various benchmark suites used for http://speed.pypy.org
pypy.org website sources
This repo is archived. Please use https://github.com/pypy/pypy.org
A Visual Studio Code extension for editing, building, and debugging ZIL projects.
Mercurial Mozilla Repo for SeaMonkey Releases
Mercurial Comm Repo for SeaMonkey Releases
The repository for TortoiseHg official website (http://tortoisehg.org).
(clone source from https://bitbucket.org/kuy/thg-web)
Isabelle2022 release of the Archive of Formal Proofs
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/
Testboard repository for AFP. Push to this repository if you want to test changes for afp-devel.
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")
Isabelle2023 release of the Archive of Formal Proofs