Explore projects

Development version of the Archive of Formal Proofs

Mercurial Repo for SeaMonkey Website

PyPy custom extensions to buildbot.

Sublima ERP

Time tracker

Repo for the Trosnoth network game. This project is maintained by Joshua D. Bartlett.

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

Source for the statically generated website at https://heptapod.net

pypy.org website sources

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

A framework for asynchronous communication that's inspired by Solaris' STREAMS device driver and Unix pipes.

Isabelle2023 release of the Archive of Formal Proofs

A set of tools for working with the ZIL interactive fiction language, including a compiler, assembler, disassembler, and game library.

FluidDyn website

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/

Content of the tryton.community website

Generates (X)HTML5 documents from standalone reStructuredText sources

PyPy is a very fast and compliant implementation of the Python language.