Home › Browse › Formal System

Formal System

Ranked by notability · Page 22

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)
EusLisp Robot Programming Language
Place
Lisp-based programming system
KS programming
Place
programming language
XOD
Place
programming language
PL/P
Place
mid-level programming language
Baby modula-3
Place
programming sublanguage of Modula-3
Concurrent Prolog
Place
programming language derived from Prolog
EXEL
Place
programming language
PCASTL
Place
interpreted high-level programming language
OML
Place
language
IITRAN
Place
discontinued programming language
CLP(R)
Place
declarative programming language
Egison
Place
Kalimat
Place
programming language
RCX code programming language
Place
programming language
ROOP
Place
multiparadigm programming language targeted at AI applications
Prodel
Place
programming language
Intel Parallel Building Blocks
Place
collection of three programming solutions designed for multithreaded parallel computing
Avenue
Place
scripting language
Delegua
Place
Portuguese-based programming language
Snek
Place
interpreted programming language
Grap
Place
programming language
Katahdin
Place
programming language
Guppy
Place
quantum programming language
Mind
Place
programming language
ArmScript
Place
programming language
Keykit
Place
graphical environment and programming language for MIDI synthesis and algorithmic composition
EX-BASIC
Place
Sinclair BASIC extension for the Sinclair ZX Spectrum Computer
LIS
Place
programming language
CUPL
Place
Hardware description language
Pauscal
Place
programming language based on Spanish syntax
ArkTS
Place
general-purpose compiled programming language
PL/Python
Place
implementation of the Python programming language for PostgreSQL database systems
Starlark
Place
configuration language used by Bazel and other build systems
Nushell
CreativeWork
shell with a focus on operating on structured data in the command line
Cuis Smalltalk
Place
programming language
Basic Sound Extension
Place
an extension for Sinclair Basic (for the ZX Spectrum) providing improved sound capabilities
ObjectStar
Place
programming language
Polyphonic C#
Place
extension of the C# programming language
Teml
Place
Macro language
PS-algol
Place
orthogonally persistent programming language
Acorn System BASIC
Place
programming language dialects
LCM
Place
programming language
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
CaPSL
Place
Programming language
Ada 2012
Place
2012 edition of the Ada programming language standard
hoc
Place
programming language
HP-GL
Place
printer control language created by Hewlett-Packard (HP)
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
SL5
Place
programming language
Robotc
Place
programming language based on C
CGOL
Place
programming language
Nial
Place
programming language
Rational Modeling Language
Place
programming language based on group and graph theory
NOMAD
Place
relational database and fourth-generation language
///
Place
programming language
Ada 83
Place
programming language
Phoenix Object Basic
CreativeWork
Object-oriented programming language