Explore projects

Isabelle2023 release of the Archive of Formal Proofs

Testboard repository for AFP. Push to this repository if you want to test changes for afp-devel.

Time tracker

Tryton website

Business Software

Modularity, scalability & security for your business

Isabelle2022 release of the Archive of Formal Proofs

Mercurial Mozilla Repo for SeaMonkey Releases

Mercurial Comm Repo for SeaMonkey Releases

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

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

Main development repository for TortoiseHg

Send patches/questions to thg-dev@googlegroups.com | https://groups.google.com/forum/#!forum/thg-dev

Downloads available at https://www.mercurial-scm.org

Sublima ERP

Sublima ERP

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/

A Visual Studio Code extension for editing, building, and debugging ZIL projects.

Syntax highlighting and other editor support features for the ZIL language.