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 (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)
Rant
Place
programming and markup language designed for generating random text
Pyret
Place
education-focused programming language
Analytical Engine order code
Place
programming language
Varphi Language
Place
A language that enables efficient development of Turing programs.
Fremio
Place
Personalized online photobox web application
MeLa
Place
programming language
Simple Object Language
Place
programming language
RPG/400
Place
programming language
Sequentielle Formelübersetzung
Place
programming language
Nock
Place
programming language
Extended Pascal
Place
programming language
Verse
Place
programming language
Graphics Programming Language
class
BlitzPlus
Place
programming language
VSXu
CreativeWork
programming environment
CurlyWas
Place
programming language
Links
Place
programming language
Envelop
CreativeWork
Object-oriented programming language
Misty
Place
programming language
April APL
SoftwareApplication
implementation of APL language
Adventure Definition Language
Place
programming language and system for writing text adventure games
Move
Place
A statically typed programming language for creating smart contracts.
Elvish
Place
programming language and shell
Eltron Programming Language
Place
printer control language
Extensible Embeddable Language
Place
scripting and programming language
Blitz2D
Place
programming language
Regional Assembly Language
Place
programming language
ZetaSQL
Place
programming language dialect of SQL
Lodu Code
Place
An esoteric programming language created by Prince Kumar Pandit
L Sharp
Place
Zoomscript
Intangible
programming languange
Mosel language
Place
algebraic modeling language
ANSI X3.226
Place
technical standard
Scheme Scribe
CreativeWork
functional programming language for authoring documents
Emoticon
Place
esoteric programming language using emoticons
Biological Expression Language
CreativeWork
domain specific language for causal, correlative, and associative biological relations
Von Neumann and Goldstine graphing system
Place
programming language
PQL
Place
special-purpose programming
ActiveVFP
Place
Server side web tool like PHP only with the FoxPro language and database baked in.
ChavaScript
Place
Hebrew programming script
PL/X
Place
IBM internal systems programming language (Programming Language/Cross Systems)
CLtL1
Place
standard of common lisp, as described by the book Common Lisp, the Language, Vol. 1
ESC/POS
Place
Epson page description language
Alpaca
Place
programming language
Birkbeck Assembler
Place
programming language
OMNIBAC Symbolic Assembler
Place
programming language
CPC Coding scheme
Place
programming language
Editing Generator
Place
programming language
Felix
Place
open source programming language
Nix
Place
domain-specific language for building and managing packages
MapLibre Style Specification
CreativeWork
JSON-based file format that defines the content and appearance of a map, forked from the Mapbox Style Specification
MoonScript
Place
scripting language that compiles into Lua
frontier-guarded Datalog
Place
fragment of Datalog
Overpass XML
CreativeWork
procedural, imperative XML language for querying OpenStreetMap data through the Overpass API
NGN APL
SoftwareApplication
APL interpreter written in JavaScript
Uiua
Place
array programming language
Zedra
Place
Lucee
Place
dynamically-typed scripting language for the Java virtual machine (JVM)
ElGolog
Place
programming language
SMT-LIB
Place
input language for SMT solvers