Formal System

Ranked by notability · Page 6

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)

Liberty BASIC
Place
commercial computer programming language and integrated development environment (IDE)
Geometric Description Language
Place
computer programming language
Incr Tcl
Place
object-oriented extensions for the Tcl programming language
LotusScript
Place
object oriented programming language used by Lotus Notes
XACML
Place
standard language for evaluating access requests according to rules defined in attribute-based access control policies
Planner
Place
programming language
PEARL
Place
programming language
GAUSS
Place
matrix programming language for mathematics and statistics
Jess
Place
programming language
OpenQASM
Place
intermediate representation for quantum instructions
REALBasic
Place
programming language
Data Language Interface
Place
database language
Yorick
Place
interpreted programming language
Rapira
Place
educational procedural programming language
mIRC scripting language
Place
scripting language embedded in mIRC, an IRC client for Windows
DYNAMO
Place
simulation language and accompanying graphical notation
Action!
Place
programming language
TI-BASIC
Place
programming language used in Texas Instruments calculators
Ratfor
Place
programming language
RPL
Place
programming language
ALGOL 58
Place
programming language
Hollywood
Place
programming language
GPSS
Place
general-purpose programming language
Lustre
Place
programming language
Wiring
Place
computer software for electronics prototyping
TTCN
Place
programming language used for testing of communication protocols and web services
Ook!
Place
esoteric programming language
CLIST
Place
programming language
Lingo
Place
scripting language
Visual Objects
Place
object-oriented computer programming language
Sieve
Place
Programming language that can be used for email filtering
X10
Place
programming language, part of the Productive, Easy-to-use, Reliable Computing System (PERCS) project
Tiny BASIC
Place
dialect of the BASIC programming language
JSFuck
Place
esoteric programming language that uses 6 characters to write all JavaScript code
Fortress
Place
programming language
SPARK
Place
programming language
IBM Informix-4GL
Place
4GL programming language
DIGITAL Command Language
Place
command language adopted by several operating systems (OSs)
nesC
Place
extension of the programming language C especially created for TinyOS
Basic4android
CreativeWork
programming language
Stylus
Place
style sheet language
Joy
Place
programming language
CHICKEN
CreativeWork
Scheme-based programming language implementation
High Performance Fortran
Place
extension of Fortran 90 with constructs that support parallel computing
4th Dimension
Place
relational database and programming language
Falcon
Place
programming language
JOSS
Place
programming language
newLISP
Place
programming language
PARI/GP
CreativeWork
computer algebra system
XProc
CreativeWork
language to describe a pipeline of operations on XML documents
Red
Place
programming language
MBASIC
Place
Microsoft BASIC implementation for the CP/M operating system
MIT/GNU Scheme
Place
a Scheme implementation with integrated editor and debugger
Sather
Place
object-oriented programming language similar to Eiffel
PureScript
Place
strongly typed language that compiles to JavaScript
Object REXX
Place
object-oriented scripting language for the operating system OS/2
Unicon
Place
programming language descended from Icon
Harbour
Place
programming language, primarily used to create database/business programs
CHIP-8
Place
interpreted programming language
Locomotive BASIC
Place
proprietary dialect of the BASIC programming language