CatColab

[!WARNING] CatColab is under active development with new features added regularly. We aim to preserve the integrity of your data but you should not store anything critical or sensitive.

CatColab is a collaborative environment for formal, interoperable, conceptual modeling.

Elaborating on these keywords, CatColab aims to be:

• Formal: Models created in the system, be they qualitative or quantitative, are well-defined mathematical objects that can be critiqued with clarity.
• Interoperable: Models, and the logics in which they are expressed, can be flexibly interoperated with each other, without privileging any viewpoint as primary.
• Conceptual: Each domain-specific logic in the system is well adapted to the concepts used by practitioners in that domain.
• Modeling: Constructing a model is a collaborative, ongoing process that does not required participants to have specialized technical expertise.

Versions

There are two versions of CatColab available to use:

• The production version: catcolab.org. This tracks the latest release, so it should be the most stable version.
• The development version: next.catcolab.org. This tracks the main branch of this repository, so it contains all the newest experimental features but is therefore more likely to have bugs.

A version history is maintained in the CHANGELOG.

Help and documentation

License

CatColab is dual-licensed under the MIT and Apache-2.0 licenses. You may use the source code of CatColab under the terms of either license.

You can find a copy of our privacy policy in PRIVACY.