Formal_System

PS 440

Place

Snostorm

Place

version of the SNOBOL4 language with structured programming constructs added

Aheui

Place

programming language

Nickle

Place

numeric oriented programming language

Pauscal

Place

programming language based on Spanish syntax

IronLisp

Place

implementation of Lisp for Microsoft .NET Framework

MOLOG

Place

programming language

Vintage BASIC

Place

BASIC programming language

Blitz3D

Place

programming language

Mana

Place

programming language

MDL

Place

SystemBuilder/SB+

Place

4GL development and runtime environment

Sigma

Place

programming language

ArkTS

Place

general-purpose compiled programming language

Trellis-Owl

Place

programming language

DIV Games Studio

Place

programming language

PL/Scheme

Place

implementation of the Scheme programming language for PostgreSQL

Tritium

Place

scripting language for efficiently transforming structured data like HTML, XML, and JSON

SQLPL

Place

SQL language structure

MShell

Place

object-oriented programming language

Cluster

Place

programming language

TOM

Place

programming language

TTM

Place

string oriented, general purpose macro processing programming language

Comfy

Place

programming language

Kid’s Programming Language

Place

programming language

NEAT

Place

assembly language for NCR computers

GENERIC

Place

Language used to define the intermediate representation of code used by all GCC facades

CLACL

Place

language for a software that allows to create designs and graphics

Pliant

Place

programming language

Checked C

Event

extension of C programming language

Face Modeling Language

Place

XML-based language for describing face animation

Pict

Place

statically typed programming language, one of the very few based on the Pi-calculus

SenseTalk

Place

scripting language derived from the HyperTalk language used in HyperCard

Synergy DBL

Place

imperative programming language

Darwin

Place

programming language

PTQL

Place

language based on relational queries over program traces

webMethods Flow

Place

graphical programming language

PCASTL

Place

interpreted high-level programming language

Frink

Place

programming language

Ease

Place

programming language

Baby modula-3

Place

programming sublanguage of Modula-3

DatalogZ

Place

extension of Datalog with integer arithmetic and comparisons

page description markup language

Place

URQ

Place

programming language

Jeem

Place

programming language

Guarded Horn Clauses

Place

programming language

RiscLua

Place

implementation of Lua to RISC OS

ELI

Place

programming language

Nushell

CreativeWork

shell with a focus on operating on structured data in the command line

MINC

Place

Scripting language

PL-6

Place

programming language

Micro Lua DS

Place

programming language

AMBIT

Place

historical programming language for symbolic computation

Robotc

Place

programming language based on C

CUPL

Place

Hardware description language

HyperFun

Place

simple modelling language intended for describing geometric objects

Java-Hamster-Model

Place

Extempore

Place

real-time audiovisual software

Scalable Application Language

Place

Programming language

XcalableMP

Place

directive-based language extension