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

XOTcl

Place

object-oriented extension for the Tool Command Language

RPython

Place

programming language based on Python

SASL

Place

purely functional programming language

Concurrent ML

Place

extension of the Standard ML programming language

Processing.js

Place

JavaScript port of Processing programming language

wxBasic

Place

a free software based on syntax for novice programmers

Microsoft Visual Programming Language

Place

visual programming language

Dragon

Place

dynamic 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

Windows App Studio

Place

discontinued web app provided by Microsoft for Windows app development

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

Tea

Place

programming language

Gofer

Place

programming language

CycL

Place

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

MIVA Script

Place

scripting language

Wyvern

Place

programming language

Basic For Qt

CreativeWork

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

MATH-MATIC

Place

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

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

TinyScheme

CreativeWork

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

Robik

Place

ZX Spectrum clone

XSB

Place

dialect of the Prolog programming language and its implementation

Dafny

Place

programming language

Pico

Place

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

Casio BASIC

Place

programming language

Cangjie

Place

programming language development by Huawei

PL360

Place

programming language

Cirq

Place

free software library for editing and simulating quantum circuits

SQL/PSM

Place

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

Easy Programming Language

Place

Chinese programming language

Zonnon

Place

programming language

NATURAL

Place

programming language

ACL2

Place

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

Hop

Place

Lisp-like programming language

Active Oberon

Place

programming language

LSE

Place

educational programming language developed in France

Printer Job Language

Place

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

SMIL Timesheets

Place

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

Project Builder

Place

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

MPD

class

programming language

GeneXus

Place

Cross-Platform, knowledge representation-based development tool

Ubercode

Place

high-level programming language

Pascal Script

Place

scripting language based on Object Pascal

Chinese BASIC

Place

several Chinese-localized versions of the BASIC programming language