Formal_Language

Rocq prover

CreativeWork

proof assistant

DarkBASIC

Place

BASIC dialect

ROOT

Place

data analysis software

MUMPS

Place

programming language

PureBasic

Place

commercially distributed procedural computer programming language and integrated development environ

Clean

Thing

programming language

Datalog

Place

declarative logic programming language

Pike

Place

programming language

Factor

Place

programming language

Max (programming language)

Place

programming language

Curry

Place

programming language

Blockly

Place

Blockly visual programming language

Mojo

Place

programming language

DRAKON

Place

algorithmic visual programming and modeling language

CICS

Place

IBM customer data and transaction management application

Curl

Place

programming language

Maclisp

Place

dialect of the Lisp programming language

Karel

Place

programming language

WEB

Place

programming language

ScratchJr

Place

visual programming language

C++/CLI

Place

programming language

Turbo Basic

Place

programming language

Hewlett-Packard Graphics Language

Place

printer control language

FoxPro

Place

programming language

PL/M

Place

high-level programming language for Intel microprocessors

Sinclair BASIC

Place

dialect of the programming language BASIC

KTurtle

Place

educational programming environment for turtle graphics

PowerBASIC

Place

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

BLISS

Place

systems programming language

UCSD Pascal

Place

Pascal programming language system

Shakespeare

Place

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

COMAL

Place

programming language

Modula-3

Place

programming language

FLOW-MATIC

Place

programming language

Integer BASIC

CreativeWork

BASIC interpreter of the Apple I and original Apple II computers

High Level Assembly

CreativeWork

high-level assembly language

HQ9+

Place

esoteric programming language

Agda

Place

dependently typed, purely functional programming language and proof assistant

PL/pgSQL

Place

procedural programming language for PostgreSQL database systems

MXML

CreativeWork

XML-based user interface markup language

Cobra

Place

programming language

SQL*Plus

SoftwareApplication

Interactive and batch query tool installed with Oracle Database installations

CLISP

Place

software implementation of the programming language Common Lisp

YAWL

Place

workflow modelling language

UnrealScript

Place

The scripting language that Unreal Engine used for authoring game code and gameplay events before th

Applesoft BASIC

CreativeWork

floating-point BASIC interpreter

SystemVerilog

Place

hardware description and hardware verification language

Asymptote

Place

descriptive vector graphics language

Stackless Python

Place

alternative Python implementation

Unobtrusive JavaScript

Place

general approach to the use of JavaScript in web pages

Argus

Place

programming language

Atari BASIC

CreativeWork

BASIC interpreter

FRACTRAN

Place

Turing-complete esoteric programming language invented by John Conway

Idris

Thing

purely functional programming language

GAP

Thing

computer algebra system for computational discrete algebra

IBM BASIC

Place

programming language

Mesa

Place

programming language

HyperTalk

Place

programming language

Unified Parallel C

Place

extension of the C programming language designed for high-performance computing on large-scale paral

AMPL

Place

algebraic modeling language