Formal System

Ranked by notability · Page 25

1,768
Articles
11
Images
750
Websites Tracked
30
Pages

Browse by Type

Programming Language (459)
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)

Acorn System BASIC
Place
programming language dialects
MOO
Place
programming language used to support the MOO Server
PL/8
Place
PL/I dialect developed by IBM Research, used internally to write several IBM products
Jesta
Place
programming language
ALCOR
Place
computer language definition
DG/L
Place
programming language for the Nova, Eclipse and Eclipse/MV families of minicomputers
Real-time Cmix
Place
audio programming language
DARSIMCO
Place
1950s programming language for mathematical operations
CGOL
Place
programming language
SuperTalk
Place
scripting programming language
Astek
Place
programming language
ICI
Place
programming language
Pythagoras
Place
programming language
Nial
Place
programming language
Ferite
Place
programming language
EPSILON
Place
macro language developed by A.P. Ershov at Novosibirsk in 1967
AgentSpeak
Place
agent-oriented programming language
GEORGE
Place
programming language
Family of programming languages
Place
family-like relations between different programming languages
Ruby
Place
functional programming language targeting relational algebra and used as a hardware description language
JaM
Place
interpreted graphic language
WebGPU Shading Language
Place
shading language
Himawari
Place
programming language
Shen
Place
programming language
IBM System/36 BASIC
CreativeWork
interpreter for the IBM System/36 midrange computer.
*Lisp
Place
programming language
Intermediate Programming Language
Place
programming language
Cel
Place
prototypenbasierte, objektorientierte Sprache
PowerHouse
Place
trademarked name for a byte-compiled fourth-generation programming language
Cerner CCL
Place
Cerner Corporation fourth-generation programming language
Object Oberon
Place
programming language based on the Oberon programming language
PLANC
Place
high level computer programming language
Simple Object Language
Place
programming language
Unilang
Place
computer program language
Rockstar
Place
esoteric progamming language
ChinesePython
Place
programming language
PL/R
Place
implementation of the R programming language for PostgreSQL database systems
dzaima APL
Place
an implementation of APL in Java
ALGAE
Place
programming language
DuAL
Place
programming language
LSE64
Place
programming language
Swift LispKit
Place
implementation of the R7RS version of the Scheme programming language
IBM Advanced BASIC
Place
programming language
Rant
Place
programming and markup language designed for generating random text
Lucee
Place
dynamically-typed scripting language for the Java virtual machine (JVM)
Dice
Place
object-oriented programming language
SQF
Place
scripting language used by Arma series of video games
Uiua
Place
array programming language
Ada 2022
Place
2022 edition of the Ada programming language standard
Felix
Place
open source programming language
BACAIC
Place
programming language
Chibi Scheme
CreativeWork
small embeddable Scheme implementation
frontier-guarded Datalog
Place
fragment of Datalog
NGN APL
SoftwareApplication
APL interpreter written in JavaScript
Text Executive Programming Language
Place
programming language for a time-sharing service
Dark
Place
programming language, code editor and web backend infrastructure framework
Editing Generator
Place
programming language
Birkbeck Assembler
Place
programming language
CLtL1
Place
standard of common lisp, as described by the book Common Lisp, the Language, Vol. 1
PL/X
Place
IBM internal systems programming language (Programming Language/Cross Systems)