- Plone Extensions
- 189 downloads
Formal workflow is designed to prevent editing, deletion or reversion of published content from sk...
- Code Generators
- 1,442 downloads
Tools for editing, typechecking and animating Z specifications and related notations
- Administrative frontents
- 585 downloads
ToscanaJ is a Java reimplementation of the classic Formal Concept Analysis frontend Toscana.