Formal_System

HolyC

Place

Programming language in which the TempleOS operating system is developed

ESC/POS

Place

Epson page description language

PL/X

Place

IBM internal systems programming language (Programming Language/Cross Systems)

IDQL

Place

declarative language for cross-platform authorization policy orchestration

ZIL

Place

programming language used by Infocom

WaveGL

Place

programming language for sounds based on the OpenGL shading language

Chaos

Place

programming language

Gobra

Intangible

Program Verifier for the Go Programming Language

Editing Generator

Place

programming language

Zen Script

Place

programming languange

Cub

Place

programming language

Graphics Programming Language

class

Kaitai Struct

Place

declarative binary data format specification language

Otus Lisp

Place

purely functional dialect of Scheme

ZetaSQL

Place

programming language dialect of SQL

Zoomscript

Intangible

programming languange

Swift LispKit

Place

implementation of the R7RS version of the Scheme programming language

Birkbeck Assembler

Place

programming language

Lucee

Place

dynamically-typed scripting language for the Java virtual machine (JVM)

Dice

Place

object-oriented programming language

dzaima APL

Place

an implementation of APL in Java

ChinesePython

Place

programming language

AmiBlitz

Place

open source programming language for Amiga

Amber

Place

programming language compiled to Bash

Hyperlambda

Place

Nock

Place

programming language

Pkl

Place

programming language for producing configuration

READ/PRINT

Place

programming language

PL/R

Place

implementation of the R programming language for PostgreSQL database systems

Mapbox Style Specification

Place

JSON-based file format that defines the content and appearance of a map

Glass

Place

esoteric programming language

ART

CreativeWork

LISP-based knowledge engineering language designed to be an integrated toolkit for building knowledg

Viper

Intangible

Programming Language and Verification Infrastructure

Boehm unnamed coding system

Place

programming language

COMPOOL

Place

programming language

Analytical Engine order code

Place

programming language

Simple Object Language

Place

programming language

Mosel language

Place

algebraic modeling language

BQN

Place

array-oriented programming language

Turbo Pascal OOP

Thing

programming language

General Refine Expression Language

Place

Programmable Command Language

Place

programming language

Felix

Place

open source programming language

Curry notation system

Place

programming language

Julia

CreativeWork

free software compiler and tools for the Julia programming language

Overpass XML

CreativeWork

procedural, imperative XML language for querying OpenStreetMap data through the Overpass API

Orca

Place

programming language designed for live coding

ANSI INCITS 226

Place

technical standard

frontier-guarded Datalog

Place

fragment of Datalog

Caml Light

Place

programming language

SPARQL 1.1

Place

set of specifications that provide languages and protocols to query and manipulate RDF graph content

MoonScript

Place

scripting language that compiles into Lua

LSE64

Place

programming language

Pyret

Place

education-focused programming language

Fremio

Place

Personalized online photobox web application

ElGolog

Place

programming language

Zedra

Place

Overpass QL

Place

procedural, imperative language loosely based on C syntax for querying OpenStreetMap data through th

MATRIX MATH

Place

programming language

UNICODE

Place

programming language