A functional, systems programming language with linear types
The programming language for agents
A Moonscript dialect compiles to Lua
Simple, fast, safe, compiled language for developing software
A TypeScript-like language for WebAssembly
Scala based HDL
The Scala 3 compiler, also known as Dotty
Tool for safe ergonomic Rust/C++ interop driven from existing C++
Modern C++ Programming Course
Lightweight Ruby
Agda is a dependently typed programming language
A dialect of Lisp that's embedded in Python
The Perl programming language
The cross-platform toolkit
Empowering everyone to build reliable and efficient software
Carbon Language's main repository
A static, type inferred and embeddable language written in Rust
The Swift Programming Language
Rakudo – Raku on MoarVM, JVM, and JS
Prompt Declaration Language is a declarative prompt programming lang
Audio server, programming language, and IDE for sound synthesis
New additions to the Java programming language
Beef Programming Language
Expressive, robust, feature-rich CSS language built for nodejs
A language for fast, portable data-parallel computation