Explore projects

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

Sublima ERP

Syntax highlighting and other editor support features for the ZIL language.

Mercurial Comm Repo for SeaMonkey Releases

"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

Mercurial Mozilla Repo for SeaMonkey Releases

A Visual Studio Code extension for editing, building, and debugging ZIL projects.

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.

Isabelle2023 release of the Archive of Formal Proofs

pypy.org website sources

This repo is archived. Please use https://github.com/pypy/pypy.org

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

Time tracker

FluidDyn website