Explore projects

Series of tools to generate and visualise stats from a bugzilla repository

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

Obsolete fork of omnibus-gitlab, predating the creation of the separate heptapod-docker project done for Heptapod 0.6.1

https://bitbucket.org/sborho/iniparse/ (hgsubversion import of http://iniparse.googlecode.com/svn/trunk/)

Sublima ERP

Isabelle2020 release of the Archive of Formal Proofs

Mirror of https://lab.fedeproxy.eu/fedeproxy/fedeproxy/

See https://forum.fedeproxy.eu/t/heptapod-fedeproxy-counterpart/223 for the discussion

Isabelle2021 release of the Archive of Formal Proofs

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.

"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

To be deleted.

Sources for the XEmacs website.

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.