Home › Browse › Formal System

Formal System

Ranked by notability · Page 28

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)
Julia
CreativeWork
free software compiler and tools for the Julia programming language
DRAMA
Place
READ/PRINT
Place
programming language
L Sharp
Place
Lodu Code
Place
An esoteric programming language created by Prince Kumar Pandit
ZetaSQL
Place
programming language dialect of SQL
Regional Assembly Language
Place
programming language
Koord
Place
programming language
Text Executive Programming Language
Place
programming language for a time-sharing service
Amber
Place
programming language developed at Bell Labs
Overpass QL
Place
procedural, imperative language loosely based on C syntax for querying OpenStreetMap data through the Overpass API
Logica
Place
logical programming language
IBM Advanced BASIC
Place
programming language
Extensible Embeddable Language
Place
scripting and programming language
Eltron Programming Language
Place
printer control language
ALGAE
Place
programming language
SIMPL
Place
computer simulation language
Gnolang
Place
Smart-contract suite based on Golang
ChavaScript
Place
Hebrew programming script
COMPOOL
Place
programming language
Adventure Definition Language
Place
programming language and system for writing text adventure games
Envelop
CreativeWork
Object-oriented programming language
VSXu
CreativeWork
programming environment
BlitzPlus
Place
programming language
Pyret
Place
education-focused programming language
guarded Datalog
Place
fragment of Datalog query language
Extended Pascal
Place
programming language
MATLAB
Place
fourth-generation programming language
General Refine Expression Language
Place
RPG/400
Place
programming language
Austral
Place
programming language
MeLa
Place
programming language
Varphi Language
Place
A language that enables efficient development of Turing programs.
Sequentielle Formelübersetzung
Place
programming language
Amazon Shading Language
Place
MATRIX MATH
Place
programming language
EdgeQL
Place
programming language for management and use of relational databases
Lioness
Place
programming language
SCi Continuous System Simulation Language
Place
Treetop
Place
Ruby parsing expression grammar language
DocuDraft
Place
Templating language for generating reports in legal practices
F-Script
Place
object-oriented scripting programming language for Apple's macOS operating system
thinBasic
Place
BASIC-like computer programming language interpreter
Green
Place
programming language
linear Datalog
Place
fragment of Datalog query
Alkhawarizm
Place
Arabic programming language
Genus
Place
object-oriented programming language
XGQL
Place
language to generate XML and XHTML from relational databases
OMNIBAC Symbolic Assembler
Place
programming language
frontier-guarded Datalog
Place
fragment of Datalog
uxntal
Thing
assembly language
PLASMA
Place
programming language and bytecode format for 6502 processors
ShaderLab
Place
Arduino programming language
Place
programming language
Space Programming Language
Place
programming language
Hybrix programming language
Place
educational programming language used in the Hybrix platform
AutoHotkey language
Place
Hyperscript
Place
event-driven scripting language for front end web development, inspired by HyperTalk
GNU epsilon
Place
purely-functional, strongly-typed, omega-order programming language
UrduScript
Place
JavaScript ka Urdish dialect