Explore projects

Magic Lantern firmware add-on for Canon EOS cameras.

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.

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

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

Sources for the XEmacs website.

To be deleted.

Isabelle2021-1 release of the Archive of Formal Proofs

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

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.

Isabelle2021 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

Isabelle2020 release of the Archive of Formal Proofs

Sublima ERP

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

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