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
Python implementation for microcontrollers and constrained systems
Fast, small, safe, gradually typed embeddable scripting language
High-level, high-performance dynamic language for technical computing
A programming language and an implementation of that language
A purely functional programming language with first class types
The cross-platform toolkit
The Swift Programming Language
A dialect of Lisp that's embedded in Python
Functional programming language for signal processing
A language for fast, portable data-parallel computation
Audio server, programming language, and IDE for sound synthesis
Simple and flexible programming language for applications development
A Moonscript dialect compiles to Lua
Ravi is a dialect of Lua, featuring limited optional static typing
Pattern language
jsii allows code in any language to naturally interact with JavaScript
Beef Programming Language
Expert System Tool
FreeBasic plus WX-C codes for XRC file
Agena is an interpreted procedural programming language.
Interpreter and compiler for the Seed7 programming language.
OnixOS Arch is a Linux-based and open source distribution.