Formal Language

MAD

Place

programming language and compiler

RPython

Place

programming language based on Python

LSE

Place

educational programming language developed in France

SQL/PSM

Place

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

Tea

Place

programming language

MIVA Script

Place

scripting language

Go!

Place

multi-paradigm programming language

Concurrent ML

Place

extension of the Standard ML programming language

Casio BASIC

Place

programming language

ACL2

Place

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

NATURAL

Place

programming language

GeneXus

Place

Cross-Platform, knowledge representation-based development tool

Analitik

Place

programming language

Dafny

Place

programming language

Robik

Place

ZX Spectrum clone

Standard ML of New Jersey

Place

free software implementation of the ML language

Pico

Place

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

SmallBASIC

Place

BASIC programming language dialect with interpreters released as free software

Microsoft Visual Programming Language

Place

visual programming language

Hot Soup Processor

Place

Japanese programming language

Cirq

Place

free software library for editing and simulating quantum circuits

Chinese BASIC

Place

several Chinese-localized versions of the BASIC programming language

ASIC

SoftwareApplication

programming language

Cuneiform

Place

purely functional workflow programming language

PL360

Place

programming language

Zonnon

Place

programming language

ABC ALGOL

Place

programming language

Telescript

Place

programming language

Sawzall

Place

programming language

wxBasic

Place

a free software based on syntax for novice programmers

Averest

Place

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

Maya Embedded Language

Place

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

SMIL Timesheets

Place

style sheet language which is intended for use as an external timing stylesheet for SMIL

MATH-MATIC

Place

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

Global Arrays

Place

library developed by scientists at Pacific Northwest National Laboratory for parallel computing

Gambit

CreativeWork

software which interprets and compiles Scheme code into C code

CWEB

Place

programming language

LC-3

Thing

educational assembly language

2.PAK

Place

Programming language for artificial intelligence

Control Language

Place

IBM operating system scripting language

Programming Language for Business

Place

business-oriented programming language originally called DATABUS

Open Roberta

Place

project within the German education initiative "Roberta—Learning with robots"

XBLite

Place

free Open Source BASIC programming language compiler and development system

Chez Scheme

CreativeWork

R6RS Scheme compiler and run-time

Oak

Place

programming language

Gosu

Place

programming language

Sing#

Place

programming language

SATySFi

CreativeWork

Programming language for typesetting

Variable Assembly Language

Place

programming language

Pastel

Place

programming language

BSASPEC

Place

Nikhil Nandhi/ Pavan Tickson

algebraic semantics

Place

form of axiomatic semantics

XBasic

Place

variant of the BASIC programming language

ZOPL

Place

programming language for use on mainframe computer systems used in libraries and banking institutions

SMALL

Place

programming language

TELCOMP

Place

interactive, conversational language based on JOSS

Baltie

Place

block programming language

ExtendScript

Place

scripting language (an extension of JavaScript) and associated toolkit, developed by Adobe

Robic

Place

Soviet programming language

Bluespec, Inc.

Place

company behind Bluespec HDL