GitHub repository: woustachemax/CatColab
Description: A collaborative environment for formal, interoperable, conceptual modeling