Formal_System

SPARK

Place

programming language

JSFuck

Place

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

GnuCOBOL

CreativeWork

COBOL compiler and runtime

Turbo-BASIC XL

Place

advanced version of BASIC for the Atari 8-bit family of home computers

4th Dimension

Place

relational database and programming language

General Algebraic Modeling System

Place

high-level modeling system for mathematical optimization, designed for modeling and solving linear,

PureScript

Place

strongly typed language that compiles to JavaScript

JOSS

Place

programming language

PARI/GP

CreativeWork

computer algebra system

Keysight VEE

Place

programming language

Interpress

Place

programming language

Magik

Place

object-oriented programming language that supports multiple inheritance and polymorphism

Not eXactly C

Place

high-level programming language for the Lego Mindstorms NXT

Just BASIC

Place

version of Liberty BASIC

Atari Microsoft BASIC

Place

variant of the BASIC programming language

FOCAL

Place

level programming language for the Lego Mindstorms NXT

Visual DialogScript

Place

interpreted programming language

Flowgorithm

Place

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

AIMMS

Place

algebraic modeling language

P′′

Place

primitive computer programming language

Stan

Place

probabilistic programming language for Bayesian inference

Component Pascal

Place

programming language

WQL

Place

Microsoft's implementation of the CIM Query Language

Lasso

Place

Programming language

Transaction Application Language

Place

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

JAL

Place

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

Linda

Place

programming language

TTCN-3

Place

testing language for telecommunication systems

Genie

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

3DMLW

Place

discontinued, open-source, XML-based markup language

Automatically Programmed Tool

Place

programming language

CMU Common Lisp

CreativeWork

free Common Lisp implementation

Stencyl

Place

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

HAL/S

Place

programming language

EGL

Place

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

Cypher Query Language

Place

declarative graph query language for the Neo4j graph database

TLA+

Place

programming language

Interlisp

Place

dialect of the Lisp programming language

Bubble

Place

visual programming language

MetaQuotes Language

Place

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

Kojo

Place

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

Pro*C

Place

embedded SQL programming language used by Oracle Database management systems

KiXtart

Place

logon script processor and enhanced batch scripting language

Script.NET

Place

programming language

Short Code

Place

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

OpenMusic

Place

visual programming environment for musical composition

Amiga Basic

SoftwareApplication

BASIC programming language implementation for Amiga computers

FreeFem++

Place

Programming and software language

StarLogo

Place

agent-based simulation language

Mozart Programming System

Place

major implementation of the Oz programming language

XBase++

Place

object oriented programming language which has multiple inheritance and polymorphism

ATLAS Transformation Language

Place

programming language

Scriptol

Place

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

RGSS

Place

interpreter

Refal

Place

functional programming language oriented toward symbolic computations

ABSYS

Place

declarative programming language

Turing

Place

programming language

FAUST

Thing

programming language