Formal System

Microsoft Visual Programming Language

Place

visual programming language

Averest

Place

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

Cilk Plus

Place

Parallel programming extension to C and C++

SASL

Place

purely functional programming language

CycL

Place

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

Chinese BASIC

Place

several Chinese-localized versions of the BASIC programming language

C/AL

Place

programming language

LSE

Place

educational programming language developed in France

Jasmin

Place

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

Printer Job Language

Place

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

ล็อกทอล์ก

Place

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

Iota and Jot

Place

minimalistic Turing-complete programming languages based on combinatory logic

Handel-C

Place

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

Wyvern

Place

programming language

Hop

Place

Lisp-like programming language

DIBOL

Place

general-purpose, procedural, imperative programming language

URBI

Intangible

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

JADE

Place

proprietary object-oriented software development and deployment platform

xHarbour

Place

free multi-platform extended Clipper compiler

Flapjax

Place

programming language built atop JavaScript

Python for S60

Place

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

RPython

Place

programming language based on Python

ABC ALGOL

Place

programming language

PL360

Place

programming language

Windows App Studio

Place

discontinued web app provided by Microsoft for Windows app development

Draco

Place

programming language

Gforth

Place

Free implementation of the Forth programming language

Lexico

Place

programming language in Spanish for learning and teaching object-oriented programming

Object-PL/SQL

Place

methodology of using the Oracle Corporation's procedural extension language for SQL and the Oracle relational database

Embedded Visual Basic

CreativeWork

Integrated Development Environment and programming language based on Visual Basic (Classic)

SMALL

Place

programming language

Futhark

Place

programming language

XBasic

Place

variant of the BASIC programming language

Flavors

Place

programming language

XPL

Place

dialect of the PL/I programming language, designed to be used in writing compilers

Odin

Place

programming language

TELCOMP

Place

interactive, conversational language based on JOSS

Game Oriented Assembly Lisp

Place

video game programming language

ADMB

Place

free and open source software suite for non-linear statistical modeling

ARITH-MATIC

Place

extension of Grace Hopper's A-2 programming language

chef

Place

esoteric programming language

Scriptlet

Place

Java-code embedded in the HTML-like JSP code

3APL

Place

experimental tool and programming language

SETL2

Place

very high-level programming language based on the mathematical theory of sets

Silq

Place

quantum programming language

JEAN

Place

dialect of the JOSS programming language

Mary

Place

programming language

Baltie

Place

block programming language

Whiley

Place

programming language

Dialect

Place

programming language created by George Harth

Concurrent Haskell

Place

extension of Haskell 98 with explicit concurrency

Axum

Place

domain-specific concurrent programming language

DOPE

Place

programming language

Euclid

Place

imperative programming language for writing verifiable programs

Spice Lisp

Place

Lisp dialect

Babbage

Place

high level assembly programming language for the GEC 4000 series minicomputers

IBM Cross System Product

Place

application generator for IBM mainframes

AmbientTalk

Place

programming language

Monkey X

Place

programming language from the Blitz Basic family

GNU Awk

Place

Text scanning and processing language