Wasmer : Wasmer enables super lightweight containers based on WebAssembly that can run anywhere: from Desktop to the Cloud and IoT devices, and also embedded i...
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...
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...
cables : Cables is a tool for creating beautiful interactive content. With an easy to navigate interface and real time visuals, it allows for rapid prototyping...
in:verse is a programming language and environment for exploring the conflux of poetry, visuals, mathematics and code.