Formal System

Ranked by notability · Page 15

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)

SAC programming language
Place
strict purely functional programming language
OPS5
Place
rule-based or production system computer language
CBASIC
Place
compiled version of the BASIC programming language
TclX
Place
tcl extension to the Tcl programming language
Rpal
Place
programming language
JS++
Place
web programming language
Music Markup Language
Place
XML based music description language
S/SL
Place
programming language
Raptor
Place
graphical authoring tool
FARGO
Place
programming language
FriCAS
Place
programming language
Fril
Place
programming language
LiveScript
Place
predecessor of JavaScript (founded in 1995)
IBM RPG II
Place
programming language
Fuzzy Control Language
Place
language for implementing fuzzy logic, especially fuzzy control
BlooP and FlooP
Place
simple programming languages
XCore XS1
Place
32-bit RISC microprocessor architecture designed by XMOS
Concurrent Euclid
Place
concurrent descendant of the Euclid programming language
PL/Tcl
Place
implementation of the Tcl scripting language for PostgreSQL database systems
Flowcode
Place
Microsoft Windows-based development environment
EarSketch
WebSite
free educational programming environment
IBM PL/S
Place
proprietary IBM systems programming language used for mainframe operating systems development
XLNT
Place
Scripting language
SiMPLE
Place
programming language
SCM
Place
implementation of the Scheme programming language
STELLA
Place
visual programming language for system dynamics modeling
Python 3
Place
major release of Python programming language
Suneido
Place
programming language
KNITRO
Place
commercial software package for solving large scale nonlinear mathematical optimization problems
Work Flow Language
Place
the process control language for the Burroughs large systems
ISETLW
Place
very high-level programming language based on the mathematical theory of sets
POP-2
Place
programming language
Charity
Thing
Programming language
EuLisp
Place
statically and dynamically scoped Lisp dialect
CafeOBJ
Place
declarative programming language
Shell Programming/Introduction
Place
Mondrian
CreativeWork
statistical data-visualization software
RTL/2
Place
programming language developed at Imperial Chemical Industries Ltd by J.G.P. Barnes
Visual Logic
Place
graphical authoring tool
Dartmouth ALGOL 30
Place
ALGOL implementation
Concurrent Pascal
Place
programming language
Apple Dylan
Place
programming language
JAWS Scripting Language
Place
proprietary programming language
IBM RPG III
Place
Dialect of the RPG programming language.
Impulse C
Place
subset of the C programming language combined with a C-compatible function library supporting parallel programming
UNCOL
Place
proposed universal intermediate language for compilers
Enchanting
Place
educational programming language
C Intermediate Language
Place
simplified subset of the C programming language
MDL
Place
programming language, a descendant of the language Lisp
Praspel
Place
formal specification language for PHP
ILNumerics.Net
CreativeWork
software
SYMPL
Place
obsolete programming language for use on the CDC 6000 series computer systems
Obix
Place
programming language
JRT
Place
Pascal programming language implementation
El-76
Place
computer language
SAKO
Place
programming language
Triton
Place
programming language
Pixilang
Place
programming language designed for cross-platform graphics and sound applications
Laning and Zierler system
Place
algebraic compiler
Halide
Place
programming language