Formal Language

Rocq prover

CreativeWork

proof assistant

GNU Guile

Place

Scheme implementation intended especially for extensions

Csound

CreativeWork

software and an audio programming language

MUMPS

Place

programming language

Clean

Thing

programming language

Inform

Place

programming language and design system for interactive fiction

PL/M

Place

high-level programming language for Intel microprocessors

Curl

Place

programming language

C++/CLI

Place

programming language

Pike

Place

programming language

Blockly

Place

Blockly visual programming language

Datalog

Place

declarative logic programming language

Max (programming language)

Place

programming language

Mojo

Place

programming language

WEB

Place

programming language

DRAKON

Place

algorithmic visual programming and modeling language

Karel

Place

programming language

Curry

Place

programming language

FoxPro

Place

programming language

ScratchJr

Place

visual programming language

Maclisp

Place

dialect of the Lisp programming language

Turbo Basic

Place

programming language

Factor

Place

programming language

Hewlett-Packard Graphics Language

Place

printer control language

CICS

Place

IBM customer data and transaction management application

KTurtle

Place

educational programming environment for turtle graphics

UCSD Pascal

Place

Pascal programming language system

Integer BASIC

CreativeWork

BASIC interpreter of the Apple I and original Apple II computers

Shakespeare

Place

esoteric programming language designed by Jon Åslund and Karl Hasselström

Sinclair BASIC

Place

dialect of the programming language BASIC

PowerBASIC

Place

brand of several commercial compilers by PowerBASIC Inc. that compile a dialect of the BASIC programming language

COMAL

Place

programming language

High Level Assembly

CreativeWork

high-level assembly language

Modula-3

Place

programming language

BLISS

Place

systems programming language

FLOW-MATIC

Place

programming language

Unobtrusive JavaScript

Place

general approach to the use of JavaScript in web pages

Asymptote

Place

descriptive vector graphics language

HQ9+

Place

esoteric programming language

SQL*Plus

SoftwareApplication

Interactive and batch query tool installed with Oracle Database installations

Stackless Python

Place

alternative Python implementation

MXML

CreativeWork

XML-based user interface markup language

SystemVerilog

Place

hardware description and hardware verification language

YAWL

Place

workflow modelling language

Cobra

Place

programming language

Applesoft BASIC

CreativeWork

floating-point BASIC interpreter

CLISP

Place

software implementation of the programming language Common Lisp

UnrealScript

Place

The scripting language that Unreal Engine used for authoring game code and gameplay events before the release of Unreal Engine 4.

PL/pgSQL

Place

procedural programming language for PostgreSQL database systems

Agda

Place

dependently typed, purely functional programming language and proof assistant

Pharo

Place

open-source Smalltalk environment

Unlambda

Place

functional programming language

HyperTalk

Place

programming language

structured text

Place

one of the five languages supported by the IEC 61131-3 standard, designed for programmable logic controllers (PLCs)

Idris

Thing

purely functional programming language

IBM BASIC

Place

programming language

Clarion

Place

commercial, proprietary, 4GL, multi-paradigm, programming language and Integrated Development Environment

AMPL

Place

algebraic modeling language

Commodore BASIC

Place

BASIC programming language

Xojo

CreativeWork

programming environment and programming language