Checked C is an extension to C that lets programmers write C code
Ruby programming language
Build massively scalable soft real-time systems
The ultimate polyglot programming experience
SmallBASIC is a fast and easy to learn BASIC language interpreter
Python implementation for microcontrollers and constrained systems
A refreshing programming language for the front-end web
The Smart Contract Programming Language
The Perl programming language
A friendly programming language from the future
Avocado Polish programming language
A purely functional programming language with first class types
Deep universal probabilistic programming with Python and PyTorch
New additions to the Java programming language
A programming language and an implementation of that language
Functional programming language for signal processing
Prompt Declaration Language is a declarative prompt programming lang
The core OCaml system: compilers, runtime system, base libraries
Functional Reactive Programming domain-specific language
Agda is a dependently typed programming language
Audio server, programming language, and IDE for sound synthesis
The cross-platform toolkit
Rakudo – Raku on MoarVM, JVM, and JS
Jupyter's kernel for Elixir programming language
Carbon Language's main repository