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