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
A purely functional programming language with first class types
Lean 4 programming language and theorem prover
The cross-platform toolkit
Functional programming language for signal processing
Repository for the book "Crafting Interpreters"
Carbon Language's main repository
A programming language and an implementation of that language
Python implementation for microcontrollers and constrained systems
Lightweight Ruby
The Acton Programming Language
A Moonscript dialect compiles to Lua
The programming language for agents
PEARL Compiler and Runtime System
an object-oriented language with late binding
Interpreter and compiler for the Seed7 programming language.
Simple ⇒ Object-Oriented ⇒ Functional
a Lua-like syntax programming language
ALFOUR Programming language. Simple, safe, power, multi-platform.
SC is a C based meta/programming language/environment
Simple and flexible programming language for applications development
Ravi is a dialect of Lua, featuring limited optional static typing
programming language for children