Formal System

Ranked by notability · Page 21

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)

ArmScript
Place
programming language
SystemBuilder/SB+
Place
4GL development and runtime environment
Trellis-Owl
Place
programming language
Tritium
Place
scripting language for efficiently transforming structured data like HTML, XML, and JSON
Guppy
Place
quantum programming language
TTM
Place
string oriented, general purpose macro processing programming language
PyLinda
Place
Python implementation of Linda
AdvPL
Place
proprietary programming language based on xBase
MUDDL
Place
domain-specific language for creation of text-based virtual worlds
Face Modeling Language
Place
XML-based language for describing face animation
Katahdin
Place
programming language
Grap
Place
programming language
Avenue
Place
scripting language
Pict
Place
statically typed programming language, one of the very few based on the Pi-calculus
ROOP
Place
multiparadigm programming language targeted at AI applications
SenseTalk
Place
scripting language derived from the HyperTalk language used in HyperCard
RCX code programming language
Place
programming language
Lithe
Place
experimental programming language
Neo Sign 0f Misery
Place
programming language
Kalimat
Place
programming language
OML
Place
language
webMethods Flow
Place
graphical programming language
PCASTL
Place
interpreted high-level programming language
EXEL
Place
programming language
JSX
Place
statically-typed, object-oriented programming language developed by DeNA
CDuce
Place
XML-oriented functional programming language
Frink
Place
programming language
Concurrent Prolog
Place
programming language derived from Prolog
PL/Python
Place
implementation of the Python programming language for PostgreSQL database systems
CaPSL
Place
Programming language
Baby modula-3
Place
programming sublanguage of Modula-3
DatalogZ
Place
extension of Datalog with integer arithmetic and comparisons
Sense
Place
programming
Basic4GL
Place
interpreted, open source version of the BASIC programming language
minus
Place
esoteric programming language
page description markup language
Place
Ooc
Place
programming language
Storyboard
Place
Apple programming
PottersWheel
Place
MATLAB toolbox for mathematical modeling of time-dependent dynamical systems
Trade Space Visualizer
Place
data visualization tool
PL/Scheme
Place
implementation of the Scheme programming language for PostgreSQL
fasm
Place
GENERIC
Place
Language used to define the intermediate representation of code used by all GCC facades
Ease
Place
programming language
Oriel
Place
programming language
Guarded Horn Clauses
Place
programming language
ELI
Place
programming language
OpenGL ES Shading Language
Place
shading language
Logic Basic
Place
programming language
Flix
Place
MINC
Place
Scripting language
PL-6
Place
programming language
AMBIT
Place
historical programming language for symbolic computation
Pliant
Place
programming language
MST Workshop
Place
interactive computer programming language
Snowball
Place
programming language
Mudlle
Place
small language designed for writing extensions to MUME, anonline multi-user game
SUBLEQ
CreativeWork
OISC where the one instruction is to subtract and branch if less than or equal to zero
HP BASIC for OpenVMS
Place
BASIC dialect
Egison
Place