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
Repository for the book "Crafting Interpreters"
Functional programming language for signal processing
A programming language and an implementation of that language
A data-parallel functional programming language
The core OCaml system: compilers, runtime system, base libraries
The cross-platform toolkit
The Acton Programming Language
Carbon Language's main repository
Lightweight Ruby
Lean 4 programming language and theorem prover
Python implementation for microcontrollers and constrained systems
A purely functional programming language with first class types
Development repository for the Triton language and compiler
A Moonscript dialect compiles to Lua
Simple, fast, safe, compiled language for developing software
Set of Python modules designed for writing video games
The Swift Programming Language in Chinese
The Flix Programming Language
The programming language for agents
A friendly language for building type-safe, scalable systems!
Read-only mirror of R source code
An uroboros program with 100+ programming languages