A programming language and an implementation of that language
The Smart Contract Programming Language
Set of Python modules designed for writing video games
A friendly programming language from the future
A functional, systems programming language with linear types
The Lux Programming Language
The programming language for agents
Audio server, programming language, and IDE for sound synthesis
Write like a high-level language, run like C
The Swift Programming Language
Agda is a dependently typed programming language
Ruby programming language
The Perl programming language
A Moonscript dialect compiles to Lua
Fast, small, safe, gradually typed embeddable scripting language
The core OCaml system: compilers, runtime system, base libraries
The Flix Programming Language
Build massively scalable soft real-time systems
A programming language that understands what a web app is
A purely functional programming language with first class types
A static, type inferred and embeddable language written in Rust
A language that compiles to Lua
ArkScript is a small, fast, functional and scripting language for C++
Expert System Tool
Application-scale JavaScript