Write like a high-level language, run like C
Gravity Programming Language
Lean 4 programming language and theorem prover
A purely functional programming language with first class types
The cross-platform toolkit
A programming language and an implementation of that language
A language for fast, portable data-parallel computation
Simple, fast, safe, compiled language for developing software
Carbon Language's main repository
Python implementation for microcontrollers and constrained systems
Lightweight Ruby
SmallBASIC is a fast and easy to learn BASIC language interpreter
The Acton Programming Language
Repository for the book "Crafting Interpreters"
Simple and flexible programming language for applications development
A Moonscript dialect compiles to Lua
The programming language for agents
ALFOUR Programming language. Simple, safe, power, multi-platform.
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
Binary Modular DataFlow Machine (BMDFM)
KAGSA PROGRAMMING LANGUAGE
Ravi is a dialect of Lua, featuring limited optional static typing