Formal_System

FALSE

Place

esoteric programming language

TACL

Place

scripting programming language

Lush

Place

programming language

UCBLogo

Place

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

FutureBASIC

Place

free BASIC compiler for Apple Inc.'s Macintosh

TMG

Place

compiler-compiler

Gödel

Place

programming language

Ur/Web

Place

functional programming language tailored for web development

URBI

Product

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

ACL2

Place

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

DIBOL

Place

general-purpose, procedural, imperative programming language

CycL

Place

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

coarray Fortran

Place

programming extension for parallel processing

Pico

Place

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

ASIC

SoftwareApplication

programming language

ABC ALGOL

Place

programming language

Windows App Studio

Place

discontinued web app provided by Microsoft for Windows app development

Jasmin

Place

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

Hot Soup Processor

Place

Japanese programming language

SQL/PSM

Place

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

Project Builder

Place

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

RPython

Place

programming language based on Python

wxBasic

Place

a free software based on syntax for novice programmers

Flapjax

Place

programming language built atop JavaScript

Draco

Place

programming language

Basic For Qt

CreativeWork

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

Sawzall

Place

programming language

Atlas Autocode

Place

variant of the ALGOL programming language

XSB

Place

dialect of the Prolog programming language and its implementation

LiveScript

Place

Functional programming language that compiles to JavaScript (founded in 2011)

NATURAL

Place

programming language

PL360

Place

programming language

Gleam

Place

functional, concurrent programming language

Thue

Place

esoteric programming language

Cangjie

Place

programming language development by Huawei

Gforth

Place

Free implementation of the Forth programming language

Concurrent ML

Place

extension of the Standard ML programming language

Dafny

Place

programming language

TouchDesigner

Place

node based visual programming language for real time interactive multimedia content

JADE

Place

proprietary object-oriented software development and deployment platform

Analitik

Place

programming language

Python for S60

Place

Nokia’s port of the general Python programming language to its S60 software platform

MIVA Script

Place

scripting language

GeneXus

Place

Cross-Platform, knowledge representation-based development tool

Easy Programming Language

Place

Chinese programming language

Maya Embedded Language

Place

scripting language used to simplify tasks in Autodesk's 3D Graphics Software Maya

Casio BASIC

Place

programming language

Active Oberon

Place

programming language

Microsoft Visual Programming Language

Place

visual programming language

SmallBASIC

Place

BASIC programming language dialect with interpreters released as free software

Cirq

Place

free software library for editing and simulating quantum circuits

Wyvern

Place

programming language

Robik

Place

ZX Spectrum clone

Chinese BASIC

Place

several Chinese-localized versions of the BASIC programming language

Cool

Place

object-oriented programming language

Printer Job Language

Place

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

C/AL

Place

programming language

SASL

Place

purely functional programming language

Advice taker

Place

hypothetical computer program

Standard ML of New Jersey

Place

free software implementation of the ML language