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 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
Repository for the book "Crafting Interpreters"
The Acton Programming Language
Simple and flexible programming language for applications development
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
PEARL Compiler and Runtime System