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)
Apex
Place
programming language
guarded Datalog
Place
fragment of Datalog query 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
IBM Advanced BASIC
Place
programming language
Zedra
Place
Imba
Place
programming language
Fremio
Place
Personalized online photobox web application
Kaitai Struct
Place
declarative binary data format specification language
frontier-guarded Datalog
Place
fragment of Datalog
Extensible Embeddable Language
Place
scripting and programming language
Eltron Programming Language
Place
printer control language
MATRIX MATH
Place
programming language
SQF
Place
scripting language used by Arma series of video games
SKILL
Place
programming language
Turtlestitch
Product
visual blocks-based programming environment for turtle graphics and embroidery
VScript
Place
programming languange
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
PLASMA
Place
programming language and bytecode format for 6502 processors
Sue
Place
programming language
Extended Pascal
Place
programming language
thinBasic
Place
BASIC-like computer programming language interpreter
ALGAE
Place
programming language
RPG/400
Place
programming language
Motoko
Place
Programming language for the Internet Computer of Dfinity
MeLa
Place
programming language
Varphi Language
Place
A language that enables efficient development of Turing programs.
Felix
Place
open source programming language
Amazon Shading Language
Place
MoonScript
Place
scripting language that compiles into Lua
EdgeQL
Place
programming language for management and use of relational databases
Programmable Command Language
Place
programming language
Pyret
Place
education-focused programming language
Treetop
Place
Ruby parsing expression grammar language
DocuDraft
Place
Templating language for generating reports in legal practices
PL/Lua
Place
implementation of the Lua programming language for PostgreSQL database systems
Blitz2D
Place
programming language
CRN++
Place
programming language
linear Datalog
Place
fragment of Datalog query
Janet
Place
programming language
Amber
Place
programming language developed at Bell Labs
XGQL
Place
language to generate XML and XHTML from relational databases
MapLibre Style Specification
CreativeWork
JSON-based file format that defines the content and appearance of a map, forked from the Mapbox Style Specification
Austral
Place
programming language
uxntal
Thing
assembly language
UNICODE
Place
programming language
ShaderLab
Place
Mapbox Style Specification
Place
JSON-based file format that defines the content and appearance of a map
Space Programming Language
Place
programming language
Hybrix programming language
Place
educational programming language used in the Hybrix platform
AutoHotkey language
Place
ENIAC coding system
Place
programming language
Biological Expression Language
CreativeWork
domain specific language for causal, correlative, and associative biological relations
UrduScript
Place
JavaScript ka Urdish dialect
ANSI INCITS 226
Place
technical standard