Simple, fast, safe, compiled language for developing software
Checked C is an extension to C that lets programmers write C code
The Acton Programming Language
A programming language and an implementation of that language
The Scala 3 compiler, also known as Dotty
A TypeScript-like language for WebAssembly
Starlark in Go: the Starlark configuration language, implemented in Go
Audio server, programming language, and IDE for sound synthesis
The ultimate polyglot programming experience
Pattern language
A programming language that understands what a web app is
A language that compiles to Lua
Beef Programming Language
High-level, high-performance dynamic language for technical computing
Ruby programming language
The Swift Programming Language in Chinese
A functional, systems programming language with linear types
Rakudo – Raku on MoarVM, JVM, and JS
GritQL is a query language for searching, linting, and modifying code
Red is a next-generation programming language
The Flix Programming Language
Prompt Declaration Language is a declarative prompt programming lang
Go library for Datalog-style logical reasoning and domain modeling
Carbon Language's main repository
jsii allows code in any language to naturally interact with JavaScript