A programming language and an implementation of that language
A language for fast, portable data-parallel computation
Agda is a dependently typed programming language
A Moonscript dialect compiles to Lua
A refreshing programming language for the front-end web
A functional, systems programming language with linear types
GritQL is a query language for searching, linting, and modifying code
Carbon Language's main repository
The Racket repository
Red is a next-generation programming language
Read-only mirror of R source code
Tool for safe ergonomic Rust/C++ interop driven from existing C++
The cross-platform toolkit
ArkScript is a small, fast, functional and scripting language for C++
Pattern language
The Flix Programming Language
Audio server, programming language, and IDE for sound synthesis
A TypeScript-like language for WebAssembly
The home of the CUE language. Validate and define text-based config
Write like a high-level language, run like C
Scala based HDL
The Perl programming language
Wrangling Untrusted File Formats Safely
Master the fundamentals and advanced features of the Go language
Programming Language Theory