The ultimate polyglot programming experience
Low-code programming for event-driven applications
The Scala 3 compiler, also known as Dotty
Application-scale JavaScript
Lean 4 programming language and theorem prover
A functional, systems programming language with linear types
Carbon Language's main repository
Build massively scalable soft real-time systems
jsii allows code in any language to naturally interact with JavaScript
The Swift Programming Language
The PHP Interpreter
Empowering everyone to build reliable and efficient software
A friendly language for building type-safe, scalable systems!
The crystal programming language
A TypeScript-like language for WebAssembly
Deep universal probabilistic programming with Python and PyTorch
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
A programming language and an implementation of that language
The Ballerina Programming Language
Go library for Datalog-style logical reasoning and domain modeling
The home of the CUE language. Validate and define text-based config
A massively parallel, high-level programming language
Jupyter's kernel for Elixir programming language