Python implementation for microcontrollers and constrained systems
Checked C is an extension to C that lets programmers write C code
A purely functional programming language with first class types
The Acton Programming Language
The ultimate polyglot programming experience
Interpreter and compiler for the Seed7 programming language.
Ravi is a dialect of Lua, featuring limited optional static typing
SC is a C based meta/programming language/environment
Simple and flexible programming language for applications development
A BASIC interpreter and compiler with graphics.
Gravity Programming Language
Wren is a small, fast, class-based concurrent scripting language
World’s only programming language that’s bursting with emojis
A dynamic language for system programming (LuaJIT fork)