Lean 4 programming language and theorem prover
The ultimate polyglot programming experience
The Scala 3 compiler, also known as Dotty
Low-code programming for event-driven applications
Application-scale JavaScript
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 programming language for agents
Empowering everyone to build reliable and efficient software
The Swift Programming Language
Carbon Language's main repository
The home of the CUE language. Validate and define text-based config
Tool for safe ergonomic Rust/C++ interop driven from existing C++
Prompt Declaration Language is a declarative prompt programming lang
The PHP Interpreter
A friendly language for building type-safe, scalable systems!
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
Deep universal probabilistic programming with Python and PyTorch
This compiler is focusing on easy gui layout (text) and databases.