Formal System

Ranked by notability · Page 19

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)

TACPOL
Place
block structured programming language
ObjVProlog
Place
Web Language
Place
scripting language
LOOPS
Place
programming language
Portable Standard Lisp
Place
tail-recursive dynamically bound dialect of Lisp
ZhPy
Place
programming language
Alusus
Place
programming language
Colony Framework
Place
open source plugin framework specification
Ada 83
Place
programming language
///
Place
programming language
SL5
Place
programming language
hoc
Place
programming language
Ada 2012
Place
2012 edition of the Ada programming language standard
Teml
Place
Macro language
ObjectStar
Place
programming language
Nushell
CreativeWork
shell with a focus on operating on structured data in the command line
CUPL
Place
Hardware description language
EX-BASIC
Place
Sinclair BASIC extension for the Sinclair ZX Spectrum Computer
ArmScript
Place
programming language
Guppy
Place
quantum programming language
Katahdin
Place
programming language
Grap
Place
programming language
Avenue
Place
scripting language
ROOP
Place
multiparadigm programming language targeted at AI applications
RCX code programming language
Place
programming language
Kalimat
Place
programming language
OML
Place
language
PCASTL
Place
interpreted high-level programming language
EXEL
Place
programming language
Concurrent Prolog
Place
programming language derived from Prolog
Baby modula-3
Place
programming sublanguage of Modula-3
EusLisp Robot Programming Language
Place
Lisp-based programming system
Sense
Place
programming
minus
Place
esoteric programming language
page description markup language
Place
Storyboard
Place
Apple programming
Trade Space Visualizer
Place
data visualization tool
PL/Scheme
Place
implementation of the Scheme programming language for PostgreSQL
MST Workshop
Place
interactive computer 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
LTR
Place
programming language
SAM76
Place
macro programming language
Eff
Place
functional programming language
ClojureScript
Place
Clojure implementation that compiles to JavaScript
Run BASIC
CreativeWork
web application server based on the Liberty BASIC
XcalableMP
Place
directive-based language extension
OBJ2
Place
programming language
MDL
Place
RascalMPL
Place
programming language
MacroML
Place
experimental programming language based on the ML programming language family
Hybris
Place
programming language
Lazy K
Place
programming language
Kid’s Programming Language
Place
programming language
Internal Translator
Place
programming language
MUF
Place
programming language
Roy
Place
experimental programming language which compiles to JavaScript
Pbrain
Place
Variant of the Brainfuck programming language
Spice
Place
programming language