Formal System

Gosu

Place

programming language

ATOLL

Place

programming language

SNOBOL4

Place

programming language tailored to complex pattern matching and text manipulation

Pastel

Place

programming language

Gambit

CreativeWork

software which interprets and compiles Scheme code into C code

Concurrent Haskell

Place

extension of Haskell 98 with explicit concurrency

GameMonkey Script

Place

SATySFi

CreativeWork

Programming language for typesetting

OpenLisp

SoftwareApplication

Parlog

Place

programming language

Halide

Place

programming language

Flowcode

Place

Microsoft Windows-based development environment

APMonitor

Thing

modelling language for algebraic equations

Unified Expression Language

Place

domain-specific scripting language used in Java EE web applications

Strand

Place

symbolic language for parallel computing

Obix

Place

programming language

POP-2

Place

programming language

T++

Place

programming language

Hume

Place

functionally based programming language

SAKO

Place

programming language

Programming with Big Data in R

Place

series of R packages and an environment for statistical computing with big data

Programming Computable Functions

Place

typed functional language

Apex

Place

programming language developed by Salesforce

OpenROAD

Place

fourth-generation programming language

ISETLW

Place

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

NetRexx

Place

open source, originally IBM's, variant of the REXX programming language to run on the Java virtual machine

Analytica

Place

software for creating, analyzing and communicating quantitative decision models

THINK C

Place

extension of ANSI C for the classic Mac OS

PROGOL

Place

implementation of inductive logic programming

Pixilang

Place

programming language designed for cross-platform graphics and sound applications

SARL

Place

modular agent-oriented programming language

XCore XS1

Place

32-bit RISC microprocessor architecture designed by XMOS

Design By Numbers

Place

programming language

colorForth

Place

programming language

TREE-META

Place

compiler-compiler system for context-free languages

PL/Tcl

Place

implementation of the Tcl scripting language for PostgreSQL database systems

Grace

Place

programming language

LiveScript

Place

predecessor of JavaScript (founded in 1995)

Fril

Place

programming language

SiMPLE

Place

programming language

IBM PL/S

Place

proprietary IBM systems programming language used for mainframe operating systems development

Pipeline Pilot

Place

desktop software program to process and analyze data

Frenetic

Place

programming language

Concurrent Euclid

Place

concurrent descendant of the Euclid programming language

ASSK

Place

programming language

Concurrent C

Place

extension of the programming language C

Nato.0+55+3d

Place

application software for realtime video and graphics

Nasal

Place

scripting language

IronScheme

Place

implementation of the Scheme programming language targeting the Microsoft .NET framework

GOAL

Place

agent programming language for programming cognitive agents

FJAX

Place

programming language

COW

Place

programming language

El-76

Place

computer language

Ficl

Place

programming language

Enterprise Mashup Markup Language

Place

XML markup language for creating enterprise mashups

HiAsm

Place

free application integrated development environment (IDE)

join-pattern

Place

scalable, high level method for writing concurrent, parallel and distributed programs using message passing which are atomically consumed from a group of channels, abstracting away threads and locks

Ioke

Place

programming language

IMP

Place

programming language

Epigram

Place

functional programming language with dependent types