A modern proof language
Welcome to the future of programming languages
The core software distribution for the Inform 7 programming language
Tool for installing and managing multiple versions of Nim language
A BASIC interpreter and compiler with graphics.
A functional, systems programming language with linear types
Compiler for the Vale programming language
Unfancy JavaScript
The homemade professional compiled programming language
The official repo for the design of the C# programming language
Lua Lisp Language
A language for making art using mathematics
A programming language for genetic data
Programming language with expressive power and a simple implementation
All about erlang programming language [powerd by community]
ra is a programming language and machine.
The esoteric programming language that is *somewhat* useful.
An interpreted Programming Language
ATS2: Unleashing the potentials of types and templates
Wren is a small, fast, class-based concurrent scripting language
A programming language used for music composition.
D in Russian
A low-level system programming language with high-level syntax