The ultimate polyglot programming experience
The Scala 3 compiler, also known as Dotty
Low-code programming for event-driven applications
Application-scale JavaScript
A functional, systems programming language with linear types
Lean 4 programming language and theorem prover
Build massively scalable soft real-time systems
Carbon Language's main repository
Deep universal probabilistic programming with Python and PyTorch
jsii allows code in any language to naturally interact with JavaScript
The crystal programming language
The Swift Programming Language
The PHP Interpreter
Empowering everyone to build reliable and efficient software
A friendly language for building type-safe, scalable systems!
A TypeScript-like language for WebAssembly
Tool for safe ergonomic Rust/C++ interop driven from existing C++
A configuration as code language with rich validation and tooling
Prompt Declaration Language is a declarative prompt programming lang
The home of the CUE language. Validate and define text-based config
The Ballerina Programming Language
Go library for Datalog-style logical reasoning and domain modeling
A programming language and an implementation of that language
A massively parallel, high-level programming language
Jupyter's kernel for Elixir programming language