Formal_System

Robik

Place

ZX Spectrum clone

GeneXus

Place

Cross-Platform, knowledge representation-based development tool

ACL2

Place

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

Go!

Place

multi-paradigm programming language

Pico

Place

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

Ubercode

Place

high-level programming language

Project Builder

Place

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

RPython

Place

programming language based on Python

Zonnon

Place

programming language

SQL/PSM

Place

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

PL360

Place

programming language

Ballerina

Place

programming language

Analitik

Place

programming language

ล็อกทอล์ก

Place

object-oriented logic programming language that extends and leverages the Prolog language

Telescript

Place

programming language

Basic For Qt

CreativeWork

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

coarray Fortran

Place

programming extension for parallel processing

Microsoft Visual Programming Language

Place

visual programming language

Thue

Place

esoteric programming language

SmallBASIC

Place

BASIC programming language dialect with interpreters released as free software

CycL

Place

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

Aldor

Place

programming language

xHarbour

Place

free multi-platform extended Clipper compiler

SASL

Place

purely functional programming language

Cangjie

Place

programming language development by Huawei

TinyScheme

CreativeWork

software

Gofer

Place

programming language

COWSEL

Place

programming language

Oak

Place

programming language

Dialect

Place

programming language created by George Harth

Caché ObjectScript

Place

programming language

Stanford Artificial Intelligence Language

Place

computer programming language

wenyan‑lang

Place

esoteric programming language based on Classic Chinese

Abbreviated Test Language for All Systems

Place

MILSPEC language for automatic testing of avionics equipment

IBM Cross System Product

Place

application generator for IBM mainframes

2.PAK

Place

Programming language for artificial intelligence

ObjectPAL

Place

programming language used by the Borland Paradox database application

Odin

Place

programming language

Franz Lisp

SoftwareApplication

dialect of the Lisp programming language

SNOBOL4

Place

programming language tailored to complex pattern matching and text manipulation

Distributed Application Specification Language

Place

programming language

SISAL

Place

programming language

CWEB

Place

programming language

GrGen

Place

programming language

JModelica.org

Place

free and open source software platform based on the Modelica modeling language

Variable Assembly Language

Place

programming language

MC#

Place

concurrent programming language based on C#

Le Lisp

Place

implementation of Lisp developed in France

BASIC Programming

VideoGame

1979 video game

Lexico

Place

programming language in Spanish for learning and teaching object-oriented programming

Gosu

Place

programming language

Microsoft C

Place

Microsoft’s programming language and compiler for C and C++

Dolittle

Place

programming language

Concurrent Haskell

Place

extension of Haskell 98 with explicit concurrency

EXEC 2

Place

interpreted, command procedure control, computer scripting language

Vilnius BASIC

Place

dialect of the BASIC programming language

Color BASIC

Place

implementation of Microsoft BASIC that is included in the ROM of the Tandy/Radio Shack TRS-80 Color

JEAN

Place

dialect of the JOSS programming language

Cadence SKILL

Place

Lisp dialect

Lynx

Place

programming language