A language whose denoted programs form a dioid under program concatenation [BSD license] - View it on GitHub