Formal System

GAP

Thing

computer algebra system for computational discrete algebra

FRACTRAN

Place

Turing-complete esoteric programming language invented by John Conway

Mesa

Place

programming language

Unified Parallel C

Place

extension of the C programming language designed for high-performance computing on large-scale parallel machines

BBC BASIC

Place

version of the BASIC programming language

Atari BASIC

CreativeWork

BASIC interpreter

Mizar

Place

proof assistant

Commodore BASIC

Place

BASIC programming language

HyperTalk

Place

programming language

MSX BASIC

Place

programming language

BeanShell

Place

Java-like scripting language

LPC

Place

programming language

Expect

CreativeWork

extension to the Tcl scripting language

Visual Prolog

Place

programming language

Alef

Place

discontinued concurrent programming language, designed as part of the Plan 9 operating system

Alice

Place

programming language

Alice

SoftwareApplication

programming language and software

Nyquist

Place

programming language for sound synthesis and analysis based on the Lisp programming language

Cyclone

Place

Programming language

LiveCode

Place

cross-platform rapid application development runtime environment inspired by HyperCard

Charm++

Place

parallel object-oriented programming language based on C++

asm.js

CreativeWork

intermediate programming language

JSX

Place

extension to the JavaScript syntax used by React

Squirrel

Place

programming language

ColdFusion Markup Language

Place

scripting language for web development

JScript .NET

Place

programming language developed by Microsoft

JavaFX Script

Place

programming language

A++

Place

minimalistic programming language that is built on ARS (abstraction from the Lambda Calculus)

4DOS

CreativeWork

command line interpreter

Linden Scripting Language

Place

script language used within Second Life

ARexx

SoftwareApplication

implementation of the REXX language for Commodore Amiga computers

InterSystems Caché

CreativeWork

commercial operational database management system from InterSystems

Haml

Place

templating system that is designed to avoid writing inline code in a web document and make the HTML cleaner

Arc

Place

dialect of the Lisp programming language.

GNU Common Lisp

Place

implementation of Common Lisp

Zebra

Place

programming language

Uniface

Place

low-code development platform

Opa

Place

programming language

SETL

Place

programming language

Fantom

Place

general purpose object-oriented programming language

Altera Hardware Description Language

Place

proprietary hardware description language (HDL)

Jakarta Expression Language

Place

domain-specific language used in Jakarta EE web applications

GFA BASIC

Place

dialect of the BASIC programming language

Instruction list

Place

Wikimedia list article

SolidThinking Embed

Place

VisSim is a visual language for modeling and simulating nonlinear dynamic systems. With 9 integration methods, 4 optimization methods and over 200 vector and scalar block functions,

Close to Metal

CreativeWork

low level GPGPU programming interface

Etoys

Place

programming language

autocode

Place

early programming languages

ISWIM

Place

programming language

Oxygene

Place

Object Pascal-based programming language

DataFlex

SoftwareApplication

software

Information Processing Language

Place

programming language

Address programming language

Place

high-level programming language

Dartmouth BASIC

Place

programming language

COMIT

Place

programming language

Action!

Place

programming language

Ratfor

Place

programming language

C++/CX

Place

language extension for C++ compilers

PEARL

Place

programming language

Ook!

Place

esoteric programming language