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