Formal_System

Rocq prover

CreativeWork

proof assistant

MUMPS

Place

programming language

JOVIAL

Place

programming language

Factor

Place

programming language

Blockly

Place

Blockly visual programming language

Karel

Place

programming language

PL/M

Place

high-level programming language for Intel microprocessors

ScratchJr

Place

visual programming language

Turbo Basic

Place

programming language

FoxPro

Place

programming language

Pike

Place

programming language

Datalog

Place

declarative logic programming language

CICS

Place

IBM customer data and transaction management application

Max (programming language)

Place

programming language

Mojo

Place

programming language

Hewlett-Packard Graphics Language

Place

printer control language

WEB

Place

programming language

Curry

Place

programming language

DRAKON

Place

algorithmic visual programming and modeling language

Maclisp

Place

dialect of the Lisp programming language

C++/CLI

Place

programming language

Curl

Place

programming language

UCSD Pascal

Place

Pascal programming language system

FLOW-MATIC

Place

programming language

BLISS

Place

systems programming language

High Level Assembly

CreativeWork

high-level assembly language

Shakespeare

Place

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

COMAL

Place

programming language

Integer BASIC

CreativeWork

BASIC interpreter of the Apple I and original Apple II computers

KTurtle

Place

educational programming environment for turtle graphics

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 program

Modula-3

Place

programming language

YAWL

Place

workflow modelling language

Cobra

Place

programming language

MXML

CreativeWork

XML-based user interface markup language

UnrealScript

Place

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

HQ9+

Place

esoteric 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

SystemVerilog

Place

hardware description and hardware verification language

Agda

Place

dependently typed, purely functional programming language and proof assistant

Unobtrusive JavaScript

Place

general approach to the use of JavaScript in web pages

PL/pgSQL

Place

procedural programming language for PostgreSQL database systems

Asymptote

Place

descriptive vector graphics language

Applesoft BASIC

CreativeWork

floating-point BASIC interpreter

Stackless Python

Place

alternative Python implementation

Commodore BASIC

Place

BASIC programming language

CHILL

Place

programming language

Amiga E

Place

programming language

Mesa

Place

programming language

Argus

Place

programming language

Pharo

Place

open-source Smalltalk environment

IBM BASIC

Place

programming language

Clarion

Place

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

Unlambda

Place

functional programming language

AMPL

Place

algebraic modeling language

Unified Parallel C

Place

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

Idris

Thing

purely functional programming language

structured text

Place

one of the five languages supported by the IEC 61131-3 standard, designed for programmable logic con