GitHunt
CA

catseye/Cabra

A language whose denoted programs form a dioid under program concatenation [BSD license]

Cabra

This is the reference distribution for Cabra, a formal programming language
whose programs form an idempotent semiring under certain operations.

For a definition of the Cabra language automaton, see the file cabra.html
in the doc directory. (Which should probably be converted to Markdown
someday, but that day is not today.)

There is also a reference implementation of the language in Haskell
in the src directory.

Languages

Haskell100.0%

Contributors

Created June 23, 2012
Updated July 30, 2025