Formal System
Ranked by notability · Page 4
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)
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)
BETA
Place
object-oriented programming language
Interactive Data Language
Place
programming language
PureBasic
Place
commercially distributed procedural computer programming language and integrated development environment
Max (programming language)
Place
programming language
Curl
Place
programming language
Karel
Place
programming language
Pike
Place
programming language
Factor
Place
programming language
Hewlett-Packard Graphics Language
Place
printer control language
CICS
Place
IBM customer data and transaction management application
WEB
Place
programming language
Blockly
Place
Blockly visual programming language
Datalog
Place
declarative logic programming language
PL/M
Place
high-level programming language for Intel microprocessors
ScratchJr
Place
visual programming language
Curry
Place
programming language
FoxPro
Place
programming language
C++/CLI
Place
programming language
DRAKON
Place
algorithmic visual programming and modeling language
Mojo
Place
programming language
Turbo Basic
Place
programming language
Maclisp
Place
dialect of the Lisp programming language
BLISS
Place
systems programming language
FLOW-MATIC
Place
programming language
Integer BASIC
CreativeWork
BASIC interpreter of the Apple I and original Apple II computers
Shakespeare
Place
esoteric programming language designed by Jon Åslund and Karl Hasselström
High Level Assembly
CreativeWork
high-level assembly language
PowerBASIC
Place
brand of several commercial compilers by PowerBASIC Inc. that compile a dialect of the BASIC programming language
KTurtle
Place
educational programming environment for turtle graphics
Sinclair BASIC
Place
dialect of the programming language BASIC
COMAL
Place
programming language
UCSD Pascal
Place
Pascal programming language system
Modula-3
Place
programming language
PL/pgSQL
Place
procedural programming language for PostgreSQL database systems
Asymptote
Place
descriptive vector graphics language
Applesoft BASIC
CreativeWork
floating-point BASIC interpreter
Unobtrusive JavaScript
Place
general approach to the use of JavaScript in web pages
Cobra
Place
programming language
Stackless Python
Place
alternative Python implementation
CLISP
Place
software implementation of the programming language Common Lisp
HQ9+
Place
esoteric programming language
YAWL
Place
workflow modelling language
SQL*Plus
SoftwareApplication
Interactive and batch query tool installed with Oracle Database installations
SystemVerilog
Place
hardware description and hardware verification language
Agda
Place
dependently typed, purely functional programming language and proof assistant
MXML
CreativeWork
XML-based user interface markup language
UnrealScript
Place
The scripting language that Unreal Engine used for authoring game code and gameplay events before the release of Unreal Engine 4.
Atari BASIC
CreativeWork
BASIC interpreter
ALGOL W
Place
programming language based on a proposal for ALGOL X
FRACTRAN
Place
Turing-complete esoteric programming language invented by John Conway
structured text
Place
one of the five languages supported by the IEC 61131-3 standard, designed for programmable logic controllers (PLCs)
Mizar
Place
proof assistant
Java Agent Development Framework
CreativeWork
software framework
BBC BASIC
Place
version of the BASIC programming language
Xojo
CreativeWork
programming environment and programming language
HyperTalk
Place
programming language
Unified Parallel C
Place
extension of the C programming language designed for high-performance computing on large-scale parallel machines
AMPL
Place
algebraic modeling language
CHILL
Place
programming language
Amiga E
Place
programming language