Ravi is a dialect of Lua, featuring limited optional static typing
A modern proof language
The core software distribution for the Inform 7 programming language
Wren is a small, fast, class-based concurrent scripting language
A low-level system programming language with high-level syntax
Embedded language for high-performance array computations
Dart is a client-optimized language for fast apps on any platform
Children's learning programming language Karel the Robot in 3D
A dynamic language for system programming (LuaJIT fork)
Skylark in Go: the Skylark configuration language
Micro Programming Language - A Portable Language for Micro Computers
Learning programming language for kids
Better tools for thought
Arnold Schwarzenegger based programming language
a Productive Parallel Programming Language
Pure Trait-based Programming on the Java Platform
Java-based Dialect of the Unicon Programming Language
Cengaver programming language
A service-oriented programming language.
Multithreaded scripting language
An approach to the Joy programming language.
programming language based on simple instruction
The roses project is a C programming language and OpenGL tutorial.
dependently typed functional programming language