Formal System

SPARK

Place

programming language

High Performance Fortran

Place

extension of Fortran 90 with constructs that support parallel computing

WMLScript

Place

programming language

PureScript

Place

strongly typed language that compiles to JavaScript

Seed7

Place

programming language

Stylus

Place

style sheet language

Unicon

Place

programming language descended from Icon

JSFuck

Place

esoteric programming language that uses 6 characters to write all JavaScript code

Basic4android

CreativeWork

programming language

XBase++

Place

object oriented programming language which has multiple inheritance and polymorphism

Atari Microsoft BASIC

Place

variant of the BASIC programming language

Component Pascal

Place

programming language

FAUST

Thing

programming language

RGSS

Place

interpreter

Gremlin

Place

graph traversal language

Flowgorithm

Place

graphical authoring tool which allows users to write and execute programs using flowcharts

True BASIC

Place

variant of the BASIC programming language descended from Dartmouth BASIC

Linda

Place

programming language

Not eXactly C

Place

high-level programming language for the Lego Mindstorms NXT

Turing

Place

programming language

TLA+

Place

programming language

TADS

Place

programming language and IDE for interactive fiction

PL/0

Place

programming language, intended as an educational programming language, that is similar to but much simpler than Pascal

ATLAS Transformation Language

Place

programming language

Interpress

Place

programming language

KiXtart

Place

logon script processor and enhanced batch scripting language

ABSYS

Place

declarative programming language

Stan

Place

probabilistic programming language for Bayesian inference

StarLogo

Place

agent-based simulation language

MetaQuotes Language

Place

programming languages for developing trading robots, technical market indicators, scripts and function libraries

Genie

Place

programming language

Music Macro Language

Place

programming language for generating computerized music

Kojo

Place

programming language and integrated development environment (IDE) for computer programming and learning

Automatically Programmed Tool

Place

programming language

Xtend

Place

general-purpose high-level programming language

CMU Common Lisp

CreativeWork

free Common Lisp implementation

JAL

Place

Pascal-like programming language and compiler that generates executable code for PIC microcontrollers

Amiga Basic

SoftwareApplication

BASIC programming language implementation for Amiga computers

WQL

Place

Microsoft's implementation of the CIM Query Language

Short Code

Place

one of the first higher-level languages ever developed for an electronic computer

EGL

Place

common language and programming model across languages, frameworks, and runtime platforms

Scriptol

Place

object-oriented programming language that allows users to declare an XML document as a class

WordBASIC

Place

subset of Microsoft QuickBASIC customized for word-processing

Transaction Application Language

Place

block-structured, procedural language optimized for use on Tandem hardware

Mozart Programming System

Place

major implementation of the Oz programming language

Keysight VEE

Place

programming language

Lasso

Place

Programming language

AIMMS

Place

algebraic modeling language

Stencyl

Place

video game development tool that allows users to create 2D video games for computers, mobile devices, and the web

HAL/S

Place

programming language

Open Programming Language

Place

programming language

S-PLUS

Place

commercial implementation of the S programming language

Epson Standard Code for Printers

Place

printer control language developed by Epson to control computer printers

Visual DialogScript

Place

interpreted programming language

OpenMusic

Place

visual programming environment for musical composition

Reaktor

Place

graphical modular software music studio

Bubble

Place

visual programming language

TTCN-3

Place

testing language for telecommunication systems

3DMLW

Place

discontinued, open-source, XML-based markup language

Cypher Query Language

Place

declarative graph query language for the Neo4j graph database