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 (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)
Educational Programming Language (5)
Shading Language (5)
Free Software (5)
Technical Standard (4)
High-Level Programming Language (4)
webMethods Flow
Place
graphical programming language
IBM Disk BASIC
Place
variant of Microsoft BASIC shipped with IBM PC in 1981, with support for disk drive access
JSX
Place
statically-typed, object-oriented programming language developed by DeNA
Project Verona
Place
experimental programming language
minus
Place
esoteric programming language
Roy
Place
experimental programming language which compiles to JavaScript
NQP
Place
programming language
RCX code programming language
Place
programming language
SenseTalk
Place
scripting language derived from the HyperTalk language used in HyperCard
Egison
Place
Pict
Place
statically typed programming language, one of the very few based on the Pi-calculus
Prodel
Place
programming language
Logel
Place
programming language
LTR
Place
programming language
Intel Parallel Building Blocks
Place
collection of three programming solutions designed for multithreaded parallel computing
Face Modeling Language
Place
XML-based language for describing face animation
Delegua
Place
Portuguese-based programming language
EusLisp Robot Programming Language
Place
Lisp-based programming system
MIXAL
Place
assembly language
Mind
Place
programming language
AdvPL
Place
proprietary programming language based on xBase
Extempore
Place
real-time audiovisual software
NEAT
Place
assembly language for NCR computers
LIS
Place
programming language
HP-GL
Place
printer control language created by Hewlett-Packard (HP)
Cluster
Place
programming language
Zenith Parsing Engine
Place
scripting language
Robotc
Place
programming language based on C
Pauscal
Place
programming language based on Spanish syntax
ArkTS
Place
general-purpose compiled programming language
Categorical Programming Language
Place
programmling language
Starlark
Place
configuration language used by Bazel and other build systems
Oolong
Place
programming language
Arduino
Place
programming language
TTM
Place
string oriented, general purpose macro processing programming language
CEMMA
Place
Programming language for modeling processes
JavaScript for Automation
Place
TXL
Place
programming language
Tritium
Place
scripting language for efficiently transforming structured data like HTML, XML, and JSON
Rational Modeling Language
Place
programming language based on group and graph theory
Trellis-Owl
Place
programming language
Tiny
Place
programming language
PS-algol
Place
orthogonally persistent programming language
SystemBuilder/SB+
Place
4GL development and runtime environment
Acorn System BASIC
Place
programming language dialects
Phoenix Object Basic
CreativeWork
Object-oriented programming language
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
Nickle
Place
numeric oriented programming language
Converge
Place
programming language
ALCOR
Place
computer language definition
ZetaLisp
Place
programming language
Lite-C
Place
programming language for multimedia applications and personal computer games
DG/L
Place
programming language for the Nova, Eclipse and Eclipse/MV families of minicomputers
Visual T#
Place
unit test extension for Visual Studio
GSQL
CreativeWork
free software
Ada 95
Place
programming language version
Snostorm
Place
version of the SNOBOL4 language with structured programming constructs added
CQP-kod
Place