Explore projects

Development version of the Archive of Formal Proofs

Sublima ERP

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

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

Mercurial Mozilla Repo for SeaMonkey Releases

The repository for TortoiseHg official website (http://tortoisehg.org).

(clone source from https://bitbucket.org/kuy/thg-web)

PyPy custom extensions to buildbot.

FluidDyn website

Mercurial Repo for SeaMonkey Website

Time tracker

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

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