Formal System

Tea

Place

programming language

MIVA Script

Place

scripting language

Flapjax

Place

programming language built atop JavaScript

Thue

Place

esoteric programming language

Easy Programming Language

Place

Chinese programming language

Casio BASIC

Place

programming language

Robik

Place

ZX Spectrum clone

Active Oberon

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

coarray Fortran

Place

programming extension for parallel processing

LSE

Place

educational programming language developed in France

Gofer

Place

programming language

SmallBASIC

Place

BASIC programming language dialect with interpreters released as free software

TinyScheme

CreativeWork

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

Printer Job Language

Place

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

Dafny

Place

programming language

Cirq

Place

free software library for editing and simulating quantum circuits

C/AL

Place

programming language

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

SMIL Timesheets

Place

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

MAD

Place

programming language and compiler

Zonnon

Place

programming language

Project Builder

Place

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

Hot Soup Processor

Place

Japanese programming language

BASIC A+

SoftwareApplication

implementation of the BASIC programming language

NATURAL

Place

programming language

Superbase database

Place

end-user desktop database program

Robic

Place

Soviet programming language

EXEC 2

Place

interpreted, command procedure control, computer scripting language

Actor

Place

programming language

Algebraic Logic Functional programming language

Place

programming language which combines functional and logic programming techniques

OBJ

Place

programming language family

BBN LISP

Place

dialect of the Lisp programming language

Abbreviated Test Language for All Systems

Place

MILSPEC language for automatic testing of avionics equipment

KL1

Place

experimental AND-parallel version of KL0

MAI Basic Four

Organization

variety of Business Basic

Power Fx

Place

programming language

GrGen

Place

programming language

Parser

Place

scripting language targeting server-side web development

Franz Lisp

SoftwareApplication

dialect of the Lisp programming language

Hamilton C shell

Place

clone of the Unix C shell and utilities for Microsoft Windows

AgentSheets

Place

cyber gaming-learning tool for programming and related information technology skills

GameMonkey Script

Place

2.PAK

Place

Programming language for artificial intelligence

PyScript

CreativeWork

framework for running Python scripts in a web browser

Robot Battle

VideoGame

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

Mobile BASIC

Place

proprietary dialect of the BASIC programming language that can be used to program Java-enabled mobile phones

LYaPAS

Place

programming language

Optimization Programming Language

Place

algebraic modeling language

COWSEL

Place

programming language

Orc

Place

programming language

Lisp Machine Lisp

Place

programming language, a dialect of the language Lisp

Programming Language for Business

Place

business-oriented programming language originally called DATABUS

SISAL

Place

programming language

PONIE

Place

discontinued Perl project

Gambit

CreativeWork

software which interprets and compiles Scheme code into C code

ABSET

Place

declarative programming language

Sing#

Place

programming language

JModelica.org

Place

free and open source software platform based on the Modelica modeling language