Formal System

Alma-0

Place

multi-paradigm computer programming language

Grammatical Framework

Place

programming language

SLIP

Place

list processing computer programming language

Lynx

Place

programming language

MLAB

Place

multi-paradigm numerical computing environment

Flavors

Place

programming language

SATySFi

CreativeWork

Programming language for typesetting

Sing#

Place

programming language

ZOPL

Place

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

Charm

Place

programming language

FARGO

Place

programming language

COW

Place

programming language

Triton

Place

programming language

IMP

Place

programming language

join-pattern

Place

scalable, high level method for writing concurrent, parallel and distributed programs using message passing which are atomically consumed from a group of channels, abstracting away threads and locks

Niki – der Roboter

CreativeWork

computer program

Elliott ALGOL

Place

ALGOL 60 compiler for the Elliott 803 computer

ISETLW

Place

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

Enterprise Mashup Markup Language

Place

XML markup language for creating enterprise mashups

Gauche

CreativeWork

Scheme implementation

KRL

Place

knowledge representation language

Little b

Place

domain-specific programming language

HiAsm

Place

free application integrated development environment (IDE)

CAL

Place

programming language

SiMPLE

Place

programming language

Pixilang

Place

programming language designed for cross-platform graphics and sound applications

GDScript

Place

programming language

SQR

Place

programming language for generating database reports

GolfScript

Place

UNCOL

Place

proposed universal intermediate language for compilers

Data Access Language

Place

SQL-like language and application programming interface

Concurrent Euclid

Place

concurrent descendant of the Euclid programming language

Mondrian

CreativeWork

statistical data-visualization software

Umple

Place

language for both object-oriented programming and modelling with class diagrams and state diagrams

CS-4

Place

programming language and an operating system interface

Cat

Place

programming language

Continuous Function Chart

Place

graphic editor that can be used in conjunction with the STEP 7 software package

Church

Place

family of LISP-like programming language for specifying arbitrarily probabilistic programs

UNITY

Place

programming language

Hindawi Programming System

Place

suite of open source programming languages

Prova

Place

open source programming language that combines Prolog with Java

Focal

Place

programming language

Perl Data Language

Place

set of free software array programming extensions to the Perl programming language

Entry

Place

programming language

Plus

Place

programming language

FOCUS

Place

database reporting program

BPEL script

Place

Nessus Attack Scripting Language

Place

scripting language that is used by vulnerability scanners like Nessus and OpenVAS

KUKA Robot Language

Place

programming language

LZX

Place

Extensible Markup Language (XML) and JavaScript description language

Citrine

Place

programming language

Pic Micro Pascal

Place

free Pascal cross compiler for PIC microcontrollers

ProvideX

Place

computer language and development environment derived from Business Basic

Cecil

Place

programming language

Argh!

Place

Ada 2005

Place

2005 edition of the Ada programming language standard

Next Byte Codes

Place

programming language to program Lego Mindstorms NXT programmable bricks

Grace

Place

programming language

Nadeshiko

Place

programming language

OPS5

Place

rule-based or production system computer language