Formal_System

ATOLL

Place

programming language

Le Lisp

Place

implementation of Lisp developed in France

PONIE

Place

discontinued Perl project

EXEC 2

Place

interpreted, command procedure control, computer scripting language

Syntax Definition Formalism

Place

metasyntax used to define context-free grammars

Robot Battle

VideoGame

programming game for Microsoft Windows where players design and code adaptable battling robots

Modula-2+

Place

programming language descended from the Modula-2 language

Superbase database

Place

end-user desktop database program

SabreTalk

Place

discontinued dialect of PL/I for the S/360 IBM mainframes running the TPF platform

Microsoft C

Place

Microsoft’s programming language and compiler for C and C++

SpiderBasic

Place

programming language

BPEL script

Place

C Intermediate Language

Place

simplified subset of the C programming language

MiniZinc

Place

constraint modeling language

EarSketch

WebSite

free educational programming environment

Nadeshiko

Place

programming language

Focal

Place

programming language

Personal Printer Data Stream

Place

Spoon

Place

esoteric programming language

XCore XS1

Place

32-bit RISC microprocessor architecture designed by XMOS

AtScript

Place

proposed JavaScript-based scripting language

Macintosh Common Lisp

Place

implementation and IDE for the Common Lisp programming language

COMTRAN

Place

Proposed programming language

Praspel

Place

formal specification language for PHP

λProlog

Place

logic programming language featuring polymorphic typing, modular programming

ProvideX

Place

computer language and development environment derived from Business Basic

Cat

Place

programming language

Mocklisp

Place

dialect of the programming language Lisp

Jai

Place

High-level programming language

MS BASIC for Macintosh

Place

dialect of Microsoft BASIC for Macintosh

WSFN

Place

interpreted programming language for controlling robots

Pic Micro Pascal

Place

free Pascal cross compiler for PIC microcontrollers

FXML

CreativeWork

XML-based user interface markup language

PyUnit

Place

code-driven unit testing frameworks for Python

MUSIC-N

Place

audio programming language

LFE

Place

Lisp Flavored Erlang

LiveScript

Place

predecessor of JavaScript (founded in 1995)

Visual Basic 6

Place

OpenMx

Place

open source program for extended structural equation modeling

LEGO

Place

logical proof assistant

ASSK

Place

programming language

2APL

Place

modular BDI-based programming language

Programmation Automatique des Formules

Place

programming language similar to FORTRAN

IMP

Place

programming language

Shell Programming/Introduction

Place

Flowcode

Place

Microsoft Windows-based development environment

RapidBatch

Place

TclX

Place

tcl extension to the Tcl programming language

Suneido

Place

programming language

Swift

Place

parallel scripting language

HiAsm

Place

free application integrated development environment (IDE)

Hierarchical Music Specification Language

Place

music programming language

Fril

Place

programming language

CAL

Place

programming language

Subtext

Place

programming language

PL/Tcl

Place

implementation of the Tcl scripting language for PostgreSQL database systems

KOMPILER

Place

one of the first language compilation and runtime systems for IBM

Orwell

Place

programming language

Gauche

CreativeWork

Scheme implementation

XPL0

Place

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