Formal System

Rocq prover

CreativeWork

proof assistant

Csound

CreativeWork

software and an audio programming language

Jinja

Place

Web template engine for Python

Curry

Place

programming language

Mojo

Place

programming language

Max (programming language)

Place

programming language

Factor

Place

programming language

Karel

Place

programming language

FoxPro

Place

programming language

Pike

Place

programming language

Maclisp

Place

dialect of the Lisp programming language

Blockly

Place

Blockly visual programming language

Curl

Place

programming language

DRAKON

Place

algorithmic visual programming and modeling language

ScratchJr

Place

visual programming language

Datalog

Place

declarative logic programming language

Turbo Basic

Place

programming language

Hewlett-Packard Graphics Language

Place

printer control language

C++/CLI

Place

programming language

WEB

Place

programming language

PL/M

Place

high-level programming language for Intel microprocessors

CICS

Place

IBM customer data and transaction management application

PowerBASIC

Place

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

Sinclair BASIC

Place

dialect of the programming language BASIC

FLOW-MATIC

Place

programming language

Modula-3

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

BLISS

Place

systems programming language

Shakespeare

Place

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

UCSD Pascal

Place

Pascal programming language system

COMAL

Place

programming language

High Level Assembly

CreativeWork

high-level assembly language

UnrealScript

Place

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

SystemVerilog

Place

hardware description and hardware verification language

CLISP

Place

software implementation of the programming language Common Lisp

MXML

CreativeWork

XML-based user interface markup language

Stackless Python

Place

alternative Python implementation

Applesoft BASIC

CreativeWork

floating-point BASIC interpreter

Asymptote

Place

descriptive vector graphics language

SQL*Plus

SoftwareApplication

Interactive and batch query tool installed with Oracle Database installations

Cobra

Place

programming language

PL/pgSQL

Place

procedural programming language for PostgreSQL database systems

Unobtrusive JavaScript

Place

general approach to the use of JavaScript in web pages

YAWL

Place

workflow modelling language

Agda

Place

dependently typed, purely functional programming language and proof assistant

HQ9+

Place

esoteric programming language

Atari BASIC

CreativeWork

BASIC interpreter

Java Agent Development Framework

CreativeWork

software framework

BBC BASIC

Place

version of the BASIC programming language

FRACTRAN

Place

Turing-complete esoteric programming language invented by John Conway

GAP

Thing

computer algebra system for computational discrete algebra

Xojo

CreativeWork

programming environment and programming language

Unified Parallel C

Place

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

Mesa

Place

programming language

Clarion

Place

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

Idris

Thing

purely functional programming language

Pharo

Place

open-source Smalltalk environment

structured text

Place

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

CHILL

Place

programming language