Explore projects

A framework for asynchronous communication that's inspired by Solaris' STREAMS device driver and Unix pipes.

Mercurial Repo for SeaMonkey Website

Content of the tryton.community website

Isabelle2023 release of the Archive of Formal Proofs

Time tracker

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.

Isabelle2021-1 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

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

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

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

Magic Lantern firmware add-on for Canon EOS cameras.

To be deleted.

Development version of the Archive of Formal Proofs

Isabelle2020 release of the Archive of Formal Proofs