The Acton Programming Language
The Swift Programming Language in Chinese
A friendly language for building type-safe, scalable systems!
Write like a high-level language, run like C
A language that compiles to Lua
Agda is a dependently typed programming language
Carbon Language's main repository
jsii allows code in any language to naturally interact with JavaScript
Functional programming language for signal processing
Jupyter's kernel for Elixir programming language
Tool for safe ergonomic Rust/C++ interop driven from existing C++
Wrangling Untrusted File Formats Safely
A language for fast, portable data-parallel computation
The Perl programming language
Audio server, programming language, and IDE for sound synthesis
ArkScript is a small, fast, functional and scripting language for C++
The Flix Programming Language
The cross-platform toolkit
GritQL is a query language for searching, linting, and modifying code
Scala based HDL
Master the fundamentals and advanced features of the Go language
Programming Language Theory
Language for defining cloud service APIs and shapes
Pattern language
An object-based programming language