Formal System

Ranked by notability · Page 25

1,768
Articles
11
Images
750
Websites Tracked
30
Pages

Browse by Type

Programming Language (458)
Scripting Language (25)
Esoteric Programming Language (12)
Object-Based Language (7)
Visual Programming Language (7)
4th-Generation Programming Language (6)
Software (6)
Page Description Language (6)
Audio Programming Language (6)
Functional Programming Language (5)
Shading Language (5)
Educational Programming Language (5)
Free Software (5)
Technical Standard (4)
High-Level Programming Language (4)

ARLA
Place
programming language
PL/Python
Place
implementation of the Python programming language for PostgreSQL database systems
Cuis Smalltalk
Place
programming language
Bertrand
Place
programming language
MAGMA-Lisp
Place
extended Lisp to implement AI programming systems
Polyphonic C#
Place
extension of the C# programming language
CaPSL
Place
Programming language
AMPLE
Place
programming language
Petr
Place
programming language for Windows
LISA
Place
language to describe the instruction set architecture of a processor
Itk
Place
framework for building mega-widgets using the Incr Tcl object system
SAM BASIC
SoftwareApplication
Objlog
Place
frame-based language
3APHP
Place
programming language
EP-BASIC
Place
programming language that is executed under DOS and is similar to BASIC
Deesel
Place
metalanguage based on Java
o:XML
Place
programming language based on XML-syntax
BCY
Place
programming language
CosmicOS
Place
self-contained message designed to be understood primarily by treating it as a computer program and executing it
Flix
Place
Micro Lua DS
Place
programming language
PATH
Place
esoteric programming language
Flex
Place
1960s programming language
Object Lisp
Place
Delta COBOL
Place
variant of the programming language COBOL
Zimbu
Place
programming language
MINC
Place
Scripting language
Java-Hamster-Model
Place
Converge
Place
programming language
PL-6
Place
programming language
Laser BASIC
Place
Sinclair BASIC extension, a set of command commands for work with graphics and sprints
NEAT
Place
assembly language for NCR computers
FOIL
Place
programming language
Overpass QL
Place
procedural, imperative language loosely based on C syntax for querying OpenStreetMap data through the Overpass API
ChinesePython
Place
programming language
SMT-LIB
Place
input language for SMT solvers
Freiburger Code
Place
programming language
Gambas
Place
programming language
SLAM
Place
simulation language from 1979
MapLibre Style Specification
CreativeWork
JSON-based file format that defines the content and appearance of a map, forked from the Mapbox Style Specification
Candle
Place
programming language
Jim Tcl
Place
a small embeddable Tcl interpreter
Karel++
Place
programming language
Emmental
Place
programming language
WaveGL
Place
programming language for sounds based on the OpenGL shading language
HolyC
Place
Programming language in which the TempleOS operating system is developed
Azure Bicep
Place
domain-specific declarative language for defining Azure resources
Kaitai Struct
Place
declarative binary data format specification language
VScript
Place
programming languange
Programmable Command Language
Place
programming language
Octave
Place
high-level programming language, primarily intended for numerical computations
Myrddin
Place
programming language
Amber
Place
programming language compiled to Bash
Hyperlambda
Place
Caml Light
Place
programming language
Rex
Place
Functional programming language developed by Robert M. Keller.
ESC/POS
Place
Epson page description language
Whirlwind assembler
Place
programming language
SKILL
Place
programming language
Jakt
Place
programming language