TLA : TLA stands for the Temporal Logic of Actions, but it has become a shorthand for referring to the TLA+ specification language and the PlusCal algorithm...
Faust Programming Language : Faust (Functional Audio Stream) is a functional programming language for sound synthesis and audio processing with a strong focus on the design of syn...
Oisín : This is code for performing the WaveFunctionCollapse algorithm on poems. It mashes up sentence fragments from a given corpus to produce poems with fix...
The Crystal Programming Language : Crystal is a programming language with the following goals:
Have a syntax similar to Ruby (but compatibility with it is not a goal)
Statically type-ch...
IanniX : IanniX is a graphical open source sequencer, based on Iannis Xenakis works, for digital art. IanniX syncs via Open Sound Control (OSC) events and curv...
in:verse is a programming language and environment for exploring the conflux of poetry, visuals, mathematics and code.