Write like a high-level language, run like C
Checked C is an extension to C that lets programmers write C code
Gravity Programming Language
Beef Programming Language
The cross-platform toolkit
Lean 4 programming language and theorem prover
A purely functional programming language with first class types
Functional programming language for signal processing
Repository for the book "Crafting Interpreters"
A programming language and an implementation of that language
Audio server, programming language, and IDE for sound synthesis
Carbon Language's main repository
Python implementation for microcontrollers and constrained systems
The Acton Programming Language
Lightweight Ruby
A Moonscript dialect compiles to Lua
an object-oriented language with late binding
Simple ⇒ Object-Oriented ⇒ Functional
Avocado Polish programming language
Cmajor is an experimental programming language.
A Zebra Programming Language (ZPL) IDE with embedded viewer
Interpreter and compiler for the Seed7 programming language.
PEARL Compiler and Runtime System
a Lua-like syntax programming language
Simple and flexible programming language for applications development