Explore projects

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

Magic Lantern firmware add-on for Canon EOS cameras.

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

Sublima ERP

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

pypy.org website sources

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

Sublima Joint è un programma di raccordo (joint appunto) tra il cloud Sublima e l'hardware collegato al PC Client. Nasce per collegare e dialogare con i registratori fiscali, con le stampanti ed i terminalini e/o lettori di codici a barre avanzati.

PyPy custom extensions to buildbot.

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/

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

mercurial-server gives your developers remote read/write access to centralized Mercurial repositories using SSH public key authentication; it provides convenient and fine-grained key management and access control.

Sublima ERP

Time tracker

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

"extra" documentation and data for pypy. This contains talks, sprint info, papers and the pypy.org website source.

Isabelle2021-1 release of the Archive of Formal Proofs

Content of the tryton.community website

Generates (X)HTML5 documents from standalone reStructuredText sources