Formal System

Janus

Place

time-reversible computing programming language

R++

Place

programming language based on C++

RCML

Place

programming language

SQR

Place

programming language for generating database reports

Ptolemy Project

Place

project aimed at modeling, simulating, and designing concurrent, real-time, embedded systems

Rpal

Place

programming language

Mocklisp

Place

dialect of the programming language Lisp

FACT

Place

programming language

Superplan

Place

programming language

FXML

CreativeWork

XML-based user interface markup language

LZX

Place

Extensible Markup Language (XML) and JavaScript description language

WSFN

Place

interpreted programming language for controlling robots

Visual Logic

Place

graphical authoring tool

Jai

Place

High-level programming language

CAL

Place

programming language

Jai

Place

High-level programming language

Orwell

Place

programming language

GNU E

Place

extension of C++ designed for writing software systems to support persistent applications

Subtext

Place

programming language

rank

Place

rank in the J programming language

SARL

Place

modular agent-oriented programming language

MS BASIC for Macintosh

Place

dialect of Microsoft BASIC for Macintosh

Charity

Thing

Programming language

Digital Asset Modeling Language (DAML)

Place

Hierarchical Music Specification Language

Place

music programming language

KOMPILER

Place

one of the first language compilation and runtime systems for IBM

Unified Expression Language

Place

domain-specific scripting language used in Java EE web applications

BEFLIX

Place

first embedded domain-specific language for computer animation

Executive Systems Problem Oriented Language

Place

Systems programming superset of ALGOL 60

RapidBatch

Place

ISETLW

Place

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

ProSet

Place

set theoretic programming language

Swift

Place

parallel scripting language

Next Byte Codes

Place

programming language to program Lego Mindstorms NXT programmable bricks

VIPLE

Place

programming language environment

SpiderBasic

Place

programming language

Escher

Place

declarative programming language that supports both functional programming and logic programming models

Pixilang

Place

programming language designed for cross-platform graphics and sound applications

Nato.0+55+3d

Place

application software for realtime video and graphics

ALGO

Place

Early computer algebraic programming language

IronScheme

Place

implementation of the Scheme programming language targeting the Microsoft .NET framework

NIL

Place

dialect of Lisp

CA-Telon

Place

PL/C

Place

programming language developed at Cornell University

ParaSail

Place

object-oriented parallel programming language

Perl Data Language

Place

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

LEGO

Place

logical proof assistant

IBM RPG II

Place

programming language

Nadeshiko

Place

programming language

Installer

Place

scripting language by Commodore International, derived from the LISP programming language

S/SL

Place

programming language

λProlog

Place

logic programming language featuring polymorphic typing, modular programming

JS++

Place

web programming language

FOCUS

Place

database reporting program

Visual Basic 6

Place

Grace

Place

programming language

XPL0

Place

computer programming language that is essentially a cross between Pascal and C

ILNumerics.Net

CreativeWork

software

HPCC

Place

open source, data-intensive computing system platform

VAX Macro

Place

assembly language