- RELVIEW, developed in Kiel (formerly in Munich)
RELVIEW is an interactive tool for computer-supported manipulation
of relations represented as Boolean matrices or directed graphs,
especially for prototyping relational specifications and programs.
- Libra, developed in Adelaide
Libra is a relational programming language
that explores the different values yielded by relations
by back-tracking rather than parallel execution.
- RATH, developed in Munich
RATH is a collection of Haskell modules
that allow exploration of (finite) relation algebras
and several weaker structures such as categories, allegories, and
developed in Munich, currently not maintained
RALF is a relation-algebraic formula manipulation system
and interactive proof checker.
Its meta language is first-order predicate logic in calculational style.
Proofs are manipulated via a graphical user interface:
theorems are represented as trees and the subexpression to be
transformed can be selected by mouse click.
- RALL, developed in Munich, currently not maintained
embeds the theory of abstract relation algebras in Isabelle.