The ultimate polyglot programming experience
Lean 4 programming language and theorem prover
The Scala 3 compiler, also known as Dotty
Application-scale JavaScript
Low-code programming for event-driven applications
A functional, systems programming language with linear types
Build massively scalable soft real-time systems
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
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 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
Bahasa Prosedural Mini
This compiler is focusing on easy gui layout (text) and databases.