Tool support for the Z formal notation
Multi-platform Variable Star Visualisation and Analysis
Tool for creating, testing, and learning about Regular Expressions
differential analysis of combinatorial protein complexes
Open Source for Internet of Things
Tools to convert Z mark-up to HTML or text.
This repository is deprecated. Use Heptapod instead.
Multi-user whiteboard emphasizing simplicity.