Formal System

FJAX

Place

programming language

Frenetic

Place

programming language

SQR

Place

programming language for generating database reports

CafeOBJ

Place

declarative programming language

CAL

Place

programming language

GOAL

Place

agent programming language for programming cognitive agents

AtScript

Place

proposed JavaScript-based scripting language

JAWS Scripting Language

Place

proprietary programming language

RapidBatch

Place

Snap4Arduino

CreativeWork

Snap4Arduino is a modification of the Snap! visual programming language that lets you interact with Arduino boards

Spoon

Place

esoteric programming language

Hume

Place

functionally based programming language

DASL

Place

programming language and compiler proprietary to Datapoint

Vienna Definition Language

Place

programming language

Ioke

Place

programming language

Cat

Place

programming language

Macintosh Common Lisp

Place

implementation and IDE for the Common Lisp programming language

Hierarchical Music Specification Language

Place

music programming language

Strongtalk

Place

programming language

EarSketch

WebSite

free educational programming environment

Digital Asset Modeling Language (DAML)

Place

Prova

Place

open source programming language that combines Prolog with Java

CS-4

Place

programming language and an operating system interface

TUTOR

Place

programming language

Escher

Place

declarative programming language that supports both functional programming and logic programming models

Nessus Attack Scripting Language

Place

scripting language that is used by vulnerability scanners like Nessus and OpenVAS

Nice

Place

object-oriented programming language

Continuous Function Chart

Place

graphic editor that can be used in conjunction with the STEP 7 software package

ProSet

Place

set theoretic programming language

λProlog

Place

logic programming language featuring polymorphic typing, modular programming

Flowcode

Place

Microsoft Windows-based development environment

OPS5

Place

rule-based or production system computer language

KUKA Robot Language

Place

programming language

VIPLE

Place

programming language environment

MultiLisp

Place

functional programming language and dialect of Scheme,

Language H

Place

procedural programming language

ELAN

Place

educational programming language for learning and teaching systematic programming

NIL

Place

dialect of Lisp

CA-Telon

Place

ParaSail

Place

object-oriented parallel programming language

PL-11

Place

high-level machine-oriented programming language

Haskell 98 features

Place

Features in Haskell programming language

RTL/2

Place

programming language developed at Imperial Chemical Industries Ltd by J.G.P. Barnes

IronScheme

Place

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

S/SL

Place

programming language

FriCAS

Place

programming language

JS++

Place

web programming language

MS BASIC for Macintosh

Place

dialect of Microsoft BASIC for Macintosh

ILNumerics.Net

CreativeWork

software

BlooP and FlooP

Place

simple programming languages

Ficl

Place

programming language

HPCC

Place

open source, data-intensive computing system platform

VAX Macro

Place

assembly language

SAC programming language

Place

strict purely functional programming language

Jai

Place

High-level programming language

PROGOL

Place

implementation of inductive logic programming

ASSIRIS

class

assembly language for Iris 50 and Felix C platforms

APMonitor

Thing

modelling language for algebraic equations

OMeta

Place

object-oriented programming language

T++

Place

programming language