Formal System

Hop

Place

Lisp-like programming language

Python for S60

Place

Nokia’s port of the general Python programming language to its S60 software platform

LSE

Place

educational programming language developed in France

Dragon

Place

dynamic programming language

SmallBASIC

Place

BASIC programming language dialect with interpreters released as free software

Windows App Studio

Place

discontinued web app provided by Microsoft for Windows app development

Analitik

Place

programming language

Ubercode

Place

high-level programming language

ล็อกทอล์ก

Place

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

Printer Job Language

Place

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

MATH-MATIC

Place

marketing name for the AT-3 (Algebraic Translator 3) compiler, an early programming language for the UNIVAC I and UNIVAC II

Hot Soup Processor

Place

Japanese programming language

wxBasic

Place

a free software based on syntax for novice programmers

Gofer

Place

programming language

TinyScheme

CreativeWork

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

Sawzall

Place

programming language

Handel-C

Place

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

XSB

Place

dialect of the Prolog programming language and its implementation

coarray Fortran

Place

programming extension for parallel processing

SQL/PSM

Place

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

Concurrent ML

Place

extension of the Standard ML programming language

Aldor

Place

programming language

Jasmin

Place

Assembler for the Java Virtual Machine that generates Java bytecode from assembly language-like instructions

Cangjie

Place

programming language development by Huawei

NATURAL

Place

programming language

Active Oberon

Place

programming language

ABC ALGOL

Place

programming language

BSASPEC

Place

Nikhil Nandhi/ Pavan Tickson

Charm

Place

programming language

algebraic semantics

Place

form of axiomatic semantics

XBasic

Place

variant of the BASIC programming language

SynthEdit

Place

framework to generate music software

Algebraic Logic Functional programming language

Place

programming language which combines functional and logic programming techniques

SMALL

Place

programming language

Superbase database

Place

end-user desktop database program

Pyomo

Place

Python package that defines a Pythonic modeling language for math programming

Pnuts

Place

dynamic scripting language for the Java platform

OBJ

Place

programming language family

3APL

Place

experimental tool and programming language

Robot Battle

VideoGame

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

SYCL

Place

higher-level programming model for OpenCL

Parser

Place

scripting language targeting server-side web development

Silq

Place

quantum programming language

TELCOMP

Place

interactive, conversational language based on JOSS

Bosque

Place

programming language

Spice Lisp

Place

Lisp dialect

Concurrent Haskell

Place

extension of Haskell 98 with explicit concurrency

ObjectPAL

Place

programming language used by the Borland Paradox database application

GameMonkey Script

Place

Babbage

Place

high level assembly programming language for the GEC 4000 series minicomputers

OpenLisp

SoftwareApplication

LYaPAS

Place

programming language

Constraint Handling Rules

Place

declarative, rule-based language

Optimization Programming Language

Place

algebraic modeling language

SATySFi

CreativeWork

Programming language for typesetting

PIC

Place

Typesetting language and program for drawing

Whiley

Place

programming language

PILOT

Place

historic programming language

JEAN

Place

dialect of the JOSS programming language

Basic4ppc

Place

programming language for Pocket PC handheld computers running Windows Mobile operating system