Cabra is a (somewhat) formal programming language whose programs form an algebraical dioid (an idempotent semiring), modulo the equivalence relation of "computes the same function", under the operations of parallel execution (as the additive operator) and sequential composition (as the multiplicative operator).
Sample Program
(SET 1 + SET 2) * IFSET 1 THEN (IFSET 2 THEN SET 3 ELSE SKIP) ELSE SKIP
Computational Class
Programming Paradigms
Documentation
Implementations
Download
Development
Github: catseye/Cabra
Bitbucket: catseye/cabra
Issue tracker: on github