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)

SCi Continuous System Simulation Language
Place
Torino
Place
programming language
April APL
SoftwareApplication
implementation of APL language
Hyperscript
Place
event-driven scripting language for front end web development, inspired by HyperTalk
Overpass QL
Place
procedural, imperative language loosely based on C syntax for querying OpenStreetMap data through the Overpass API
Kaitai Struct
Place
declarative binary data format specification language
Uiua
Place
array programming language
Rochester assembler
Place
programming language
ENIAC Short Code
Place
programming language
Dodo0
Place
programming language
Klammerausdrücke
Place
programming language
Amber
Place
programming language developed at Bell Labs
Guix Workflow Language
Place
workflow management extension for Guix
Dylan.NET
Place
programming language
LSE64
Place
programming language
Alpaca
Place
programming language
Deadfish
Place
Rockstar
Place
esoteric progamming language
Alkhawarizm
Place
Arabic programming language
NGN APL
SoftwareApplication
APL interpreter written in JavaScript
Janet
Place
programming language
CurlyWas
Place
programming language
Analytical Engine order code
Place
programming language
Text Executive Programming Language
Place
programming language for a time-sharing service
Simple Object Language
Place
programming language
Java 21
Place
Elvish
Place
programming language and shell
DRAMA
Place
Julia
CreativeWork
free software compiler and tools for the Julia programming language
ENIAC coding system
Place
programming language
Hyperlambda
Place
SCM Script
Place
programming language
Mosel language
Place
algebraic modeling language
Chaos
Place
programming language
Reversed brainfuck
Place
concept of a interpreter for brainfuck that reads it backwards
Jakt
Place
programming language
Gobra
Intangible
Program Verifier for the Go Programming Language
Amber
Place
programming language compiled to Bash
Programmable Command Language
Place
programming language
Zen Script
Place
programming languange
Editing Generator
Place
programming language
Azure Bicep
Place
domain-specific declarative language for defining Azure resources
Toit
Place
programming language
Turtlestitch
Product
visual blocks-based programming environment for turtle graphics and embroidery
Armada
Place
programming language
CLtL2
Place
standard of common lisp, as described by the book Common Lisp, the Language, Vol. 2
Birkbeck Assembler
Place
programming language
Cub
Place
programming language
Dice
Place
object-oriented programming language
CPC Coding scheme
Place
programming language
Chibi Scheme
CreativeWork
small embeddable Scheme implementation
CLtL1
Place
standard of common lisp, as described by the book Common Lisp, the Language, Vol. 1
PRINT
Place
programming language
Dark
Place
programming language, code editor and web backend infrastructure framework
Biological Expression Language
CreativeWork
domain specific language for causal, correlative, and associative biological relations
PL/Lua
Place
implementation of the Lua programming language for PostgreSQL database systems
Croc
Place
small, lightweight, extension language in the vein of Lua or Squirrel
Misty
Place
programming language
Gnolang
Place
Smart-contract suite based on Golang
PL/X
Place
IBM internal systems programming language (Programming Language/Cross Systems)