The cross-platform toolkit
Agda is a dependently typed programming language
Functional programming language for signal processing
Red is a next-generation programming language
Wrangling Untrusted File Formats Safely
A refreshing programming language for the front-end web
The Racket repository
A friendly language for building type-safe, scalable systems!
Lightweight Ruby
An uroboros program with 100+ programming languages
A language that compiles to Lua
The programming language for agents
The home of the CUE language. Validate and define text-based config
Tool for safe ergonomic Rust/C++ interop driven from existing C++
A Moonscript dialect compiles to Lua
A language for fast, portable data-parallel computation
The Perl programming language
A TypeScript-like language for WebAssembly
Audio server, programming language, and IDE for sound synthesis
Development repository for the Triton language and compiler
A functional, systems programming language with linear types
The Flix Programming Language
GritQL is a query language for searching, linting, and modifying code
Carbon Language's main repository
Write like a high-level language, run like C