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...
Zephir Language : Zephir, an open source, high-level/domain specific language designed to ease the creation and maintainability of extensions for PHP with a focus on ty...
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...
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...
in:verse is a programming language and environment for exploring the conflux of poetry, visuals, mathematics and code.
