Tool support for the Z formal notation
Tools to handle AWS tape and XMIT archives in Windows/Unix
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.
Morphometric analysis and visualization of the 3D structure of neurons
This repository is deprecated. Use Heptapod instead.
Managing z - systems management of z/VM and Linux on the mainframe
Multi-user whiteboard emphasizing simplicity.