Home › Browse › Formal System

Formal System

Ranked by notability · Page 29

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)
OMNIBAC Symbolic Assembler
Place
programming language
PQL
Place
special-purpose programming
Biological Expression Language
CreativeWork
domain specific language for causal, correlative, and associative biological relations
Turbo Pascal OOP
Thing
programming language
PL/X
Place
IBM internal systems programming language (Programming Language/Cross Systems)
IBM Advanced BASIC
Place
programming language
CLtL1
Place
standard of common lisp, as described by the book Common Lisp, the Language, Vol. 1
ZIL
Place
programming language used by Infocom
Milk
Place
programming language
Blitz2D
Place
programming language
Overpass XML
CreativeWork
procedural, imperative XML language for querying OpenStreetMap data through the Overpass API
Birkbeck Assembler
Place
programming language
Editing Generator
Place
programming language
Felix
Place
open source programming language
Text Executive Programming Language
Place
programming language for a time-sharing service
NGN APL
SoftwareApplication
APL interpreter written in JavaScript
Uiua
Place
array programming language
Alpaca
Place
programming language
ChavaScript
Place
Hebrew programming script
Skribe
CreativeWork
document production tool written by Manuel Serrano for Bigloo and ported to STkLos by Érick Gallesio; started around 2003 as a successor of Scribe
DRAMA
Place
ActiveVFP
Place
Server side web tool like PHP only with the FoxPro language and database baked in.
Nix
Place
domain-specific language for building and managing packages
Apex
Place
programming language
Lucee
Place
dynamically-typed scripting language for the Java virtual machine (JVM)
frontier-guarded Datalog
Place
fragment of Datalog
APLX
Place
dialect of the APL programming language
Swift LispKit
Place
implementation of the R7RS version of the Scheme programming language
ElGolog
Place
programming language
dzaima APL
Place
an implementation of APL in Java