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
Lean 4 programming language and theorem prover
A purely functional programming language with first class types
The cross-platform toolkit
Functional programming language for signal processing
A language for fast, portable data-parallel computation
A programming language and an implementation of that language
Simple, fast, safe, compiled language for developing software
Carbon Language's main repository
Lightweight Ruby
SmallBASIC is a fast and easy to learn BASIC language interpreter
Simple and flexible programming language for applications development
The Acton Programming Language
Repository for the book "Crafting Interpreters"
A Moonscript dialect compiles to Lua
The programming language for agents
Custom stack-based scripting language, compiler, and bytecode VM.
ALFOUR Programming language. Simple, safe, power, multi-platform.
an object-oriented language with late binding
Interpreter and compiler for the Seed7 programming language.
Simple and flexible programming language for applications development
AQ is an interpreted programming language. It is fast, small, simple a
Simple ⇒ Object-Oriented ⇒ Functional