Explore projects

Sublima ERP

Isabelle2020 release of the Archive of Formal Proofs

Development version of the Archive of Formal Proofs

To be deleted.

Magic Lantern firmware add-on for Canon EOS cameras.

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

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

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

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

Isabelle2021-1 release of the Archive of Formal Proofs

Mercurial Mozilla Repo for SeaMonkey Releases

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.

Time tracker

Isabelle2023 release of the Archive of Formal Proofs

Content of the tryton.community website

Mercurial Repo for SeaMonkey Website