Formal System
Ranked by notability · Page 29
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)
Shading Language (5)
Educational Programming Language (5)
Free Software (5)
Technical Standard (4)
High-Level Programming Language (4)
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)
Logica
Place
logical programming language
Microalg
Place
ENIAC Short Code
Place
programming language
COMPOOL
Place
programming language
NESFab
Place
programming language for creating NES games
Links
Place
programming language
Guix Workflow Language
Place
workflow management extension for Guix
Misty
Place
programming language
Armada
Place
programming language
PRINT
Place
programming language
Croc
Place
small, lightweight, extension language in the vein of Lua or Squirrel
Yarn Spinner
Place
Programming language for writing videogame dialogue
General Refine Expression Language
Place
Eta
Place
dialect of Haskell programming language
CLtL2
Place
standard of common lisp, as described by the book Common Lisp, the Language, Vol. 2
April APL
SoftwareApplication
implementation of APL language
Janet
Place
programming language
Move
Place
A statically typed programming language for creating smart contracts.
Loglan
Place
object-oriented programming language developed at University of Warsaw in the 1970s and 1980s
Hyperlambda
Place
Emoticon
Place
esoteric programming language using emoticons
ENIAC coding system
Place
programming language
Amber
Place
programming language compiled to Bash
Overpass QL
Place
procedural, imperative language loosely based on C syntax for querying OpenStreetMap data through the Overpass API
Biological Expression Language
CreativeWork
domain specific language for causal, correlative, and associative biological relations
Karel++
Place
programming language
Bloom
Place
programming language
Script
Place
scripting system for Bitcoin transactions
Cub
Place
programming language
Pkl
Place
programming language for producing configuration