Formal System

LSE

Place

educational programming language developed in France

NATURAL

Place

programming language

Cuneiform

Place

purely functional workflow programming language

ACL2

Place

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

Go!

Place

multi-paradigm programming language

Robik

Place

ZX Spectrum clone

Concurrent ML

Place

extension of the Standard ML programming language

GeneXus

Place

Cross-Platform, knowledge representation-based development tool

ABC ALGOL

Place

programming language

Casio BASIC

Place

programming language

MATH-MATIC

Place

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

Standard ML of New Jersey

Place

free software implementation of the ML language

Cirq

Place

free software library for editing and simulating quantum circuits

Analitik

Place

programming language

SmallBASIC

Place

BASIC programming language dialect with interpreters released as free software

ASIC

SoftwareApplication

programming language

Zonnon

Place

programming language

Microsoft Visual Programming Language

Place

visual programming language

Maya Embedded Language

Place

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

Pico

Place

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

Chinese BASIC

Place

several Chinese-localized versions of the BASIC programming language

Hot Soup Processor

Place

Japanese programming language

PL360

Place

programming language

Telescript

Place

programming language

wxBasic

Place

a free software based on syntax for novice programmers

Dafny

Place

programming language

Cangjie

Place

programming language development by Huawei

Robic

Place

Soviet programming language

Mobile BASIC

Place

proprietary dialect of the BASIC programming language that can be used to program Java-enabled mobile phones

Gambit

CreativeWork

software which interprets and compiles Scheme code into C code

1C:Enterprise programming language

Place

programming language

PIC

Place

Typesetting language and program for drawing

Open Roberta

Place

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

CWEB

Place

programming language

Global Arrays

Place

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

XBLite

Place

free Open Source BASIC programming language compiler and development system

Control Language

Place

IBM operating system scripting language

RAPID

Place

high-level programming language used to control ABB industrial robots

Programming Language for Business

Place

business-oriented programming language originally called DATABUS

2.PAK

Place

Programming language for artificial intelligence

Oak

Place

programming language

Gosu

Place

programming language

Chez Scheme

CreativeWork

R6RS Scheme compiler and run-time

Pastel

Place

programming language

Variable Assembly Language

Place

programming language

Bluespec, Inc.

Place

company behind Bluespec HDL

ZOPL

Place

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

BSASPEC

Place

Nikhil Nandhi/ Pavan Tickson

SATySFi

CreativeWork

Programming language for typesetting

Sing#

Place

programming language

SMALL

Place

programming language

XBasic

Place

variant of the BASIC programming language

TELCOMP

Place

interactive, conversational language based on JOSS

ExtendScript

Place

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

Baltie

Place

block programming language

Protel

Place

programming language created used on telecommunications switching systems such as the DMS-100

BASIC-PLUS

Place

dialect of the BASIC Programming Language

Caméléon

Place

visual programming language

3APL

Place

experimental tool and programming language

SLIP

Place

list processing computer programming language