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
programming language for children
A BASIC interpreter and compiler with graphics.
Probabilistic language based on pattern matching
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
ra is a programming language and machine.
All about erlang programming language [powerd by community]
Cross-Platform, Object-Oriented Programming language. With Kookaburra
The esoteric programming language that is *somewhat* useful.
An interpreted Programming Language
ATS2: Unleashing the potentials of types and templates