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