Formal System

FutureBASIC

Place

free BASIC compiler for Apple Inc.'s Macintosh

TMG

Place

compiler-compiler

OpenEdge Advanced Business Language

Place

business application development language

PLEX

Place

programming language for Ericsson's AXE telephone exchanges

Boomerang

Place

programming language

Chipmunk Basic

Place

freeware Basic interpreter

SIMSCRIPT

Place

simulation language

ISLISP

Place

programming language in the Lisp family

Thue

Place

esoteric programming language

Basic For Qt

CreativeWork

object-oriented version of the BASIC programming language, as well as an integrated development environment

Atlas Autocode

Place

variant of the ALGOL programming language

SMIL Timesheets

Place

style sheet language which is intended for use as an external timing stylesheet for SMIL

Processing.js

Place

JavaScript port of Processing programming language

Draco

Place

programming language

LiveScript

Place

Functional programming language that compiles to JavaScript (founded in 2011)

adenine

Place

programming language

Cool

Place

object-oriented programming language

Gofer

Place

programming language

Easy Programming Language

Place

Chinese programming language

BASIC A+

SoftwareApplication

implementation of the BASIC programming language

Active Oberon

Place

programming language

Printer Job Language

Place

method developed by Hewlett-Packard for switching printer languages at the job level

Handel-C

Place

high-level programming language which targets low-level hardware, most commonly used in the programming of FPGAs

TinyScheme

CreativeWork

lightweight Scheme dialect with a focus on memory footprint and running as an embedded scripting interface.

Ballerina

Place

programming language

MPD

class

programming language

Pascal Script

Place

scripting language based on Object Pascal

Cangjie

Place

programming language development by Huawei

MAD

Place

programming language and compiler

coarray Fortran

Place

programming extension for parallel processing

Ur/Web

Place

functional programming language tailored for web development

SQL/PSM

Place

ISO standard mainly defining an extension of SQL with a procedural language for use in stored procedures

Ubercode

Place

high-level programming language

ล็อกทอล์ก

Place

object-oriented logic programming language that extends and leverages the Prolog language

NATURAL

Place

programming language

TouchDesigner

Place

node based visual programming language for real time interactive multimedia content

GeneXus

Place

Cross-Platform, knowledge representation-based development tool

CycL

Place

ontology language used by Doug Lenat's Cyc artificial intelligence project

Project Builder

Place

integrated development environment (IDE) originally for the NeXTSTEP operating system

Tea

Place

programming language

ACL2

Place

software system consisting of a programming language, an extensible theory in a first-order logic, and an automated theorem prover

MIVA Script

Place

scripting language

Wyvern

Place

programming language

Flapjax

Place

programming language built atop JavaScript

URBI

Intangible

open-source cross-platform software platform in C++ used to develop applications for robotics and complex systems

Casio BASIC

Place

programming language

RPython

Place

programming language based on Python

Robik

Place

ZX Spectrum clone

Averest

Place

synchronous programming language and set of tools to specify, verify, and implement reactive systems

C/AL

Place

programming language

Cirq

Place

free software library for editing and simulating quantum circuits

Maya Embedded Language

Place

scripting language used to simplify tasks in Autodesk's 3D Graphics Software Maya

Go!

Place

multi-paradigm programming language

ASIC

SoftwareApplication

programming language

Standard ML of New Jersey

Place

free software implementation of the ML language

Zonnon

Place

programming language

Dafny

Place

programming language

Chinese BASIC

Place

several Chinese-localized versions of the BASIC programming language

Dragon

Place

dynamic programming language

Hop

Place

Lisp-like programming language