Formal System

Ranked by notability · Page 6

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)

Ratfor
Place
programming language
Ring
Place
dynamically typed, general-purpose programming language
ALGOL 58
Place
programming language
Ook!
Place
esoteric programming language
DYNAMO
Place
simulation language and accompanying graphical notation
Lustre
Place
programming language
SAS Language
Place
programming language used for statistical analysis
PEARL
Place
programming language
C++/CX
Place
language extension for C++ compilers
REALBasic
Place
programming language
LotusScript
Place
object oriented programming language used by Lotus Notes
Nemerle
Place
general-purpose high-level statically typed programming language
XACML
Place
standard language for evaluating access requests according to rules defined in attribute-based access control policies
Jess
Place
programming language
mIRC scripting language
Place
scripting language embedded in mIRC, an IRC client for Windows
RPL
Place
programming language
Incr Tcl
Place
object-oriented extensions for the Tcl programming language
Rapira
Place
educational procedural programming language
Yorick
Place
interpreted programming language
Hollywood
Place
programming language
OpenQASM
Place
intermediate representation for quantum instructions
GAUSS
Place
matrix programming language for mathematics and statistics
Liberty BASIC
Place
commercial computer programming language and integrated development environment (IDE)
Action!
Place
programming language
TTCN
Place
programming language used for testing of communication protocols and web services
Data Language Interface
Place
database language
Planner
Place
programming language
Objective-J
Place
programming language developed as part of the Cappuccino web development framework
GnuCOBOL
CreativeWork
COBOL compiler and runtime
Openmodelica
Place
free and open source environment based on the Modelica modeling language for modeling
Sieve
Place
Programming language that can be used for email filtering
newLISP
Place
programming language
Grasshopper 3d
SoftwareApplication
Programming language
CLIST
Place
programming language
General Algebraic Modeling System
Place
high-level modeling system for mathematical optimization, designed for modeling and solving linear, nonlinear, and mixed-integer optimization problems
nesC
Place
extension of the programming language C especially created for TinyOS
Lingo
Place
scripting language
CHICKEN
CreativeWork
Scheme-based programming language implementation
X10
Place
programming language, part of the Productive, Easy-to-use, Reliable Computing System (PERCS) project
Fortress
Place
programming language
SPARK
Place
programming language
MIT/GNU Scheme
Place
a Scheme implementation with integrated editor and debugger
PureScript
Place
strongly typed language that compiles to JavaScript
Basic4android
CreativeWork
programming language
Tiny BASIC
Place
dialect of the BASIC programming language
Visual Objects
Place
object-oriented computer programming language
Joy
Place
programming language
XProc
CreativeWork
language to describe a pipeline of operations on XML documents
JOSS
Place
programming language
PARI/GP
CreativeWork
computer algebra system
Harbour
Place
programming language, primarily used to create database/business programs
DIGITAL Command Language
Place
command language adopted by several operating systems (OSs)
Locomotive BASIC
Place
proprietary dialect of the BASIC programming language
IBM Informix-4GL
Place
4GL programming language
Falcon
Place
programming language
4th Dimension
Place
relational database and programming language
WMLScript
Place
programming language
Seed7
Place
programming language
Turbo-BASIC XL
Place
advanced version of BASIC for the Atari 8-bit family of home computers
Stylus
Place
style sheet language