Formal System

Newsqueak

Place

programming language

STOS BASIC

Place

dialect of the BASIC programming language

TACL

Place

scripting programming language

TRAC

Place

programming language

Kent Recursive Calculator

Place

programming language

Lucid

Place

programming language

ZPL

Place

programming language

FALSE

Place

esoteric programming language

Handel-C

Place

high-level programming language which targets low-level hardware, most commonly used in the programming of FPGAs

RPython

Place

programming language based on Python

Ballerina

Place

programming language

Tea

Place

programming language

Gofer

Place

programming language

Dragon

Place

dynamic programming language

MIVA Script

Place

scripting language

Cilk Plus

Place

Parallel programming extension to C and C++

Sawzall

Place

programming language

TinyScheme

CreativeWork

lightweight Scheme dialect with a focus on memory footprint and running as an embedded scripting interface.

Draco

Place

programming language

TouchDesigner

Place

node based visual programming language for real time interactive multimedia content

Cuneiform

Place

purely functional workflow programming language

Robik

Place

ZX Spectrum clone

Averest

Place

synchronous programming language and set of tools to specify, verify, and implement reactive systems

coarray Fortran

Place

programming extension for parallel processing

Jasmin

Place

Assembler for the Java Virtual Machine that generates Java bytecode from assembly language-like instructions

ABC ALGOL

Place

programming language

CycL

Place

ontology language used by Doug Lenat's Cyc artificial intelligence project

Go!

Place

multi-paradigm programming language

LiveScript

Place

Functional programming language that compiles to JavaScript (founded in 2011)

SQL/PSM

Place

ISO standard mainly defining an extension of SQL with a procedural language for use in stored procedures

MATH-MATIC

Place

marketing name for the AT-3 (Algebraic Translator 3) compiler, an early programming language for the UNIVAC I and UNIVAC II

NATURAL

Place

programming language

Wyvern

Place

programming language

Basic For Qt

CreativeWork

object-oriented version of the BASIC programming language, as well as an integrated development environment

URBI

Intangible

open-source cross-platform software platform in C++ used to develop applications for robotics and complex systems

JADE

Place

proprietary object-oriented software development and deployment platform

Zonnon

Place

programming language

Cirq

Place

free software library for editing and simulating quantum circuits

Dafny

Place

programming language

DIBOL

Place

general-purpose, procedural, imperative programming language

XSB

Place

dialect of the Prolog programming language and its implementation

GeneXus

Place

Cross-Platform, knowledge representation-based development tool

Pico

Place

programming language to introduce the essentials of programming to non-computer science students

Project Builder

Place

integrated development environment (IDE) originally for the NeXTSTEP operating system

Casio BASIC

Place

programming language

Aldor

Place

programming language

Chinese BASIC

Place

several Chinese-localized versions of the BASIC programming language

Cool

Place

object-oriented programming language

Cangjie

Place

programming language development by Huawei

Atlas Autocode

Place

variant of the ALGOL programming language

PL360

Place

programming language

Standard ML of New Jersey

Place

free software implementation of the ML language

Easy Programming Language

Place

Chinese programming language

adenine

Place

programming language

Active Oberon

Place

programming language

Iota and Jot

Place

minimalistic Turing-complete programming languages based on combinatory logic

ACL2

Place

software system consisting of a programming language, an extensible theory in a first-order logic, and an automated theorem prover

Maya Embedded Language

Place

scripting language used to simplify tasks in Autodesk's 3D Graphics Software Maya

xHarbour

Place

free multi-platform extended Clipper compiler

Hop

Place

Lisp-like programming language