Checked C is an extension to C that lets programmers write C code
Set of Python modules designed for writing video games
The Smart Contract Programming Language
Fast, small, safe, gradually typed embeddable scripting language
Simple and flexible programming language for applications development
The Swift Programming Language
A programming language and an implementation of that language
Audio server, programming language, and IDE for sound synthesis
The cross-platform toolkit
High-level, high-performance dynamic language for technical computing
The core OCaml system: compilers, runtime system, base libraries
A Moonscript dialect compiles to Lua
Pattern language
General-purpose programming language and toolchain
Functional programming language for signal processing
A language for fast, portable data-parallel computation
Ravi is a dialect of Lua, featuring limited optional static typing
jsii allows code in any language to naturally interact with JavaScript
A purely functional programming language with first class types
A dialect of Lisp that's embedded in Python
Beef Programming Language
Expert System Tool
Agena is an interpreted procedural programming language.
Interpreter and compiler for the Seed7 programming language.