Formal System

Ezhil

Place

programming language in Tamil

X++

Place

high-level proprietary programming language used to develop the Axapta Microsoft ERP system

Chipmunk Basic

Place

freeware Basic interpreter

STOS BASIC

Place

dialect of the BASIC programming language

TRAC

Place

programming language

Lucid

Place

programming language

FORMAC

Place

computer algebra system based on FORTRAN

UCBLogo

Place

de facto standard Logo programming language with its facilities for handling lists, files, I/O, and recursion in scripts

Concurrent ML

Place

extension of the Standard ML programming language

RPython

Place

programming language based on Python

Processing.js

Place

JavaScript port of Processing programming language

SASL

Place

purely functional programming language

wxBasic

Place

a free software based on syntax for novice programmers

Dragon

Place

dynamic programming language

Microsoft Visual Programming Language

Place

visual programming language

Sawzall

Place

programming language

TouchDesigner

Place

node based visual programming language for real time interactive multimedia content

Handel-C

Place

high-level programming language which targets low-level hardware, most commonly used in the programming of FPGAs

Cuneiform

Place

purely functional workflow programming language

Ballerina

Place

programming language

Averest

Place

synchronous programming language and set of tools to specify, verify, and implement reactive systems

coarray Fortran

Place

programming extension for parallel processing

Cilk Plus

Place

Parallel programming extension to C and C++

Jasmin

Place

Assembler for the Java Virtual Machine that generates Java bytecode from assembly language-like instructions

CycL

Place

ontology language used by Doug Lenat's Cyc artificial intelligence project

Gofer

Place

programming language

Tea

Place

programming language

Wyvern

Place

programming language

MATH-MATIC

Place

marketing name for the AT-3 (Algebraic Translator 3) compiler, an early programming language for the UNIVAC I and UNIVAC II

Basic For Qt

CreativeWork

object-oriented version of the BASIC programming language, as well as an integrated development environment

URBI

Intangible

open-source cross-platform software platform in C++ used to develop applications for robotics and complex systems

JADE

Place

proprietary object-oriented software development and deployment platform

Go!

Place

multi-paradigm programming language

MIVA Script

Place

scripting language

TinyScheme

CreativeWork

lightweight Scheme dialect with a focus on memory footprint and running as an embedded scripting interface.

XSB

Place

dialect of the Prolog programming language and its implementation

Robik

Place

ZX Spectrum clone

Pico

Place

programming language to introduce the essentials of programming to non-computer science students

Windows App Studio

Place

discontinued web app provided by Microsoft for Windows app development

Dafny

Place

programming language

Casio BASIC

Place

programming language

Cangjie

Place

programming language development by Huawei

PL360

Place

programming language

SQL/PSM

Place

ISO standard mainly defining an extension of SQL with a procedural language for use in stored procedures

Project Builder

Place

integrated development environment (IDE) originally for the NeXTSTEP operating system

Easy Programming Language

Place

Chinese programming language

NATURAL

Place

programming language

Zonnon

Place

programming language

Active Oberon

Place

programming language

Cirq

Place

free software library for editing and simulating quantum circuits

Hop

Place

Lisp-like programming language

ACL2

Place

software system consisting of a programming language, an extensible theory in a first-order logic, and an automated theorem prover

LSE

Place

educational programming language developed in France

SMIL Timesheets

Place

style sheet language which is intended for use as an external timing stylesheet for SMIL

Printer Job Language

Place

method developed by Hewlett-Packard for switching printer languages at the job level

MPD

class

programming language

Ubercode

Place

high-level programming language

Chinese BASIC

Place

several Chinese-localized versions of the BASIC programming language

Pascal Script

Place

scripting language based on Object Pascal

GeneXus

Place

Cross-Platform, knowledge representation-based development tool