Home › Browse › Formal_System

Formal_System

Ranked by notability · Page 25

1,768
Articles
11
Images
750
Websites Tracked
30
Pages

Browse by Type

Programming Language (469)
Scripting Language (25)
Esoteric Programming Language (12)
Visual Programming Language (7)
Object-Based Language (7)
Software (6)
Audio Programming Language (6)
Shading Language (6)
Page Description Language (6)
4th-Generation Programming Language (6)
Functional Programming Language (5)
Educational Programming Language (5)
Free Software (5)
Technical Standard (4)
Procedural Programming Language (4)
3APHP
Place
programming language
EPSILON
Place
macro language developed by A.P. Ershov at Novosibirsk in 1967
Emerald
Place
programming language
MINC
Place
Scripting language
SQLPL
Place
SQL language structure
MShell
Place
object-oriented programming language
PL-6
Place
programming language
G-Portugol
Place
programming language
Dataparallel C
Place
programming language based on C with parallel extensions
BBj
Place
programming language
Cluster
Place
programming language
JSONiq
Place
query and functional programming language
Abstract State Machine Language
Place
programming language based on the Abstract State Machines formal method
MacroML
Place
experimental programming language based on the ML programming language family
AMBIT
Place
historical programming language for symbolic computation
TOM
Place
programming language
TTM
Place
string oriented, general purpose macro processing programming language
SassScript
Place
scripting language for Sass
Egison
Place
Comfy
Place
programming language
Darwin
Place
programming language
Powerscript
Place
MOO
Place
programming language used to support the MOO Server
LISA
Place
language to describe the instruction set architecture of a processor
CLP(R)
Place
declarative programming language
Honeywell ARGUS
Place
low-level computer programming language
Ateji PX
Place
object-oriented programming language extension for Java
ECL
Place
declarative, data centric programming language
FOCAL-69
Place
landmark version of the FOCAL programming language
Extended Syntax of Sinclair BASIC
Place
programming language
Kid’s Programming Language
Place
programming language
Ixi lang
Place
software and programming language
Analytical Engine order code
Place
programming language
Simple Object Language
Place
programming language
Mosel language
Place
algebraic modeling language
Milk
Place
programming language
L Sharp
Place
BQN
Place
array-oriented programming language
Turbo Pascal OOP
Thing
programming language
Programmable Command Language
Place
programming language
SQF
Place
scripting language used by Arma series of video games
Curry notation system
Place
programming language
Julia
CreativeWork
free software compiler and tools for the Julia programming language
Dice
Place
object-oriented programming language
Yarn Spinner
Place
Programming language for writing videogame dialogue
Overpass XML
CreativeWork
procedural, imperative XML language for querying OpenStreetMap data through the Overpass API
Orca
Place
programming language designed for live coding
ANSI INCITS 226
Place
technical standard
Caml Light
Place
programming language
SPARQL 1.1
Place
set of specifications that provide languages and protocols to query and manipulate RDF graph content
MoonScript
Place
scripting language that compiles into Lua
LSE64
Place
programming language
Pyret
Place
education-focused programming language
Fremio
Place
Personalized online photobox web application
Arduino programming language
Place
programming language
Zedra
Place
Overpass QL
Place
procedural, imperative language loosely based on C syntax for querying OpenStreetMap data through th
ALGAE
Place
programming language
ZIL
Place
programming language used by Infocom
Sequentielle Formelübersetzung
Place
programming language