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...
Flok : Web-based P2P collaborative editor for live coding music and graphics
modernish : modernish is an ambitious, as-yet experimental, cross-platform POSIX shell feature detection and language extension library. It aims to extend the she...
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...
in:verse is a programming language and environment for exploring the conflux of poetry, visuals, mathematics and code.