A modern proof language
Tool for installing and managing multiple versions of Nim language
A BASIC interpreter and compiler with graphics.
A language for making art using mathematics
Programming language with expressive power and a simple implementation
The Simple Intelligent and Modular Programming Language & Environment
Children's learning programming language Karel the Robot in 3D
Skylark in Go: the Skylark configuration language
Lint your CoffeeScript