Formal System

Programming Computable Functions

Place

typed functional language

Globule

Place

content delivery network

TREE-META

Place

compiler-compiler system for context-free languages

Design By Numbers

Place

programming language

Hopscotch

MobileApplication

app for teaching programming

OpenMx

Place

open source program for extended structural equation modeling

Next Byte Codes

Place

programming language to program Lego Mindstorms NXT programmable bricks

Epigram

Place

functional programming language with dependent types

Nadeshiko

Place

programming language

Frenetic

Place

programming language

Impulse C

Place

subset of the C programming language combined with a C-compatible function library supporting parallel programming

IMP

Place

programming language

JAWS Scripting Language

Place

proprietary programming language

STELLA

Place

visual programming language for system dynamics modeling

COW

Place

programming language

HiAsm

Place

free application integrated development environment (IDE)

AtScript

Place

proposed JavaScript-based scripting language

Spoon

Place

esoteric programming language

Charity

Thing

Programming language

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

Macintosh Common Lisp

Place

implementation and IDE for the Common Lisp programming language

Fuzzy Control Language

Place

language for implementing fuzzy logic, especially fuzzy control

COMTRAN

Place

Proposed programming language

Enterprise Mashup Markup Language

Place

XML markup language for creating enterprise mashups

CAL

Place

programming language

λProlog

Place

logic programming language featuring polymorphic typing, modular programming

Leet

Place

esoteric programming language based loosely on Brainfuck

Strongtalk

Place

programming language

Digital Asset Modeling Language (DAML)

Place

Continuous Function Chart

Place

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

Programmation Automatique des Formules

Place

programming language similar to FORTRAN

CS-4

Place

programming language and an operating system interface

SQR

Place

programming language for generating database reports

MS BASIC for Macintosh

Place

dialect of Microsoft BASIC for Macintosh

RapidBatch

Place

Vienna Definition Language

Place

programming language

Prova

Place

open source programming language that combines Prolog with Java

DASL

Place

programming language and compiler proprietary to Datapoint

TUTOR

Place

programming language

Escher

Place

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

Jai

Place

High-level programming language

Hierarchical Music Specification Language

Place

music programming language

Entry

Place

programming language

ASSIRIS

class

assembly language for Iris 50 and Felix C platforms

Cat

Place

programming language

Ioke

Place

programming language

PL/Tcl

Place

implementation of the Tcl scripting language for PostgreSQL database systems

WSFN

Place

interpreted programming language for controlling robots

PyUnit

Place

code-driven unit testing frameworks for Python

Triton

Place

programming language

SK8

CreativeWork

Software by Apple Computer

Nessus Attack Scripting Language

Place

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

Gauche

CreativeWork

Scheme implementation

OPS5

Place

rule-based or production system computer language

ELAN

Place

educational programming language for learning and teaching systematic programming

Argh!

Place

KUKA Robot Language

Place

programming language

MultiLisp

Place

functional programming language and dialect of Scheme,

Raptor

Place

graphical authoring tool

Rpal

Place

programming language