Formal Language

Pico

Place

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

Casio BASIC

Place

programming language

Dafny

Place

programming language

Telescript

Place

programming language

CycL

Place

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

Advice taker

Place

hypothetical computer program

Hot Soup Processor

Place

Japanese programming language

Cilk Plus

Place

Parallel programming extension to C and C++

SASL

Place

purely functional programming language

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

Wyvern

Place

programming language

Chinese BASIC

Place

several Chinese-localized versions of the BASIC programming language

Analitik

Place

programming language

xHarbour

Place

free multi-platform extended Clipper compiler

Handel-C

Place

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

Iota and Jot

Place

minimalistic Turing-complete programming languages based on combinatory logic

Go!

Place

multi-paradigm programming language

Hop

Place

Lisp-like programming language

C/AL

Place

programming language

Flapjax

Place

programming language built atop JavaScript

MATH-MATIC

Place

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

ABC ALGOL

Place

programming language

Gforth

Place

Free implementation of the Forth programming language

RPython

Place

programming language based on Python

Python for S60

Place

Nokia’s port of the general Python programming language to its S60 software platform

Draco

Place

programming language

Atlas Autocode

Place

variant of the ALGOL programming language

PL360

Place

programming language

XSB

Place

dialect of the Prolog programming language and its implementation

Windows App Studio

Place

discontinued web app provided by Microsoft for Windows app development

SQL/PSM

Place

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

DIBOL

Place

general-purpose, procedural, imperative programming language

Cirq

Place

free software library for editing and simulating quantum circuits

SynthEdit

Place

framework to generate music software

Flavors

Place

programming language

Futhark

Place

programming language

XPL

Place

dialect of the PL/I programming language, designed to be used in writing compilers

Pyomo

Place

Python package that defines a Pythonic modeling language for math programming

A Manufacturing Language

Place

general-purpose programming language

Grammatical Framework

Place

programming language

Accent

Place

programming language

Distributed Application Specification Language

Place

programming language

Delphi Prism

Place

programming language

Reia

Place

programming language

DATATRIEVE

Place

database query and report writer tool

Maude system

Place

implementation of rewriting logic developed at SRI International

RUR-PLE

Place

educational tool to help students learn the Python programming language

Dialect

Place

programming language created by George Harth

Axum

Place

domain-specific concurrent programming language

Monkey X

Place

programming language from the Blitz Basic family

Franz Lisp

SoftwareApplication

dialect of the Lisp programming language

PIC

Place

Typesetting language and program for drawing

Baltie

Place

block programming language

SETL2

Place

very high-level programming language based on the mathematical theory of sets

1C:Enterprise programming language

Place

programming language

MC#

Place

concurrent programming language based on C#

MapBasic

SoftwareApplication

programming language

ATOLL

Place

programming language

Whiley

Place

programming language