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)

GPSS
Place
general-purpose programming language
Ring
Place
dynamically typed, general-purpose programming language
Geometric Description Language
Place
computer programming language
Ook!
Place
esoteric programming language
GAUSS
Place
matrix programming language for mathematics and statistics
OpenQASM
Place
intermediate representation for quantum instructions
DYNAMO
Place
simulation language and accompanying graphical notation
Data Language Interface
Place
database language
ALGOL 58
Place
programming language
Lustre
Place
programming language
C++/CX
Place
language extension for C++ compilers
SAS Language
Place
programming language used for statistical analysis
PEARL
Place
programming language
REALBasic
Place
programming language
LotusScript
Place
object oriented programming language used by Lotus Notes
Nemerle
Place
general-purpose high-level statically typed programming language
TTCN
Place
programming language used for testing of communication protocols and web services
Liberty BASIC
Place
commercial computer programming language and integrated development environment (IDE)
Planner
Place
programming language
RPL
Place
programming language
Jess
Place
programming language
XACML
Place
standard language for evaluating access requests according to rules defined in attribute-based access control policies
Yorick
Place
interpreted programming language
Incr Tcl
Place
object-oriented extensions for the Tcl programming language
Hollywood
Place
programming language
Rapira
Place
educational procedural programming language
mIRC scripting language
Place
scripting language embedded in mIRC, an IRC client for Windows
GnuCOBOL
CreativeWork
COBOL compiler and runtime
Objective-J
Place
programming language developed as part of the Cappuccino web development framework
MIT/GNU Scheme
Place
a Scheme implementation with integrated editor and debugger
Openmodelica
Place
free and open source environment based on the Modelica modeling language for modeling
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
Grasshopper 3d
SoftwareApplication
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
Lingo
Place
scripting language
nesC
Place
extension of the programming language C especially created for TinyOS
CHICKEN
CreativeWork
Scheme-based programming language implementation
Fortress
Place
programming language
SPARK
Place
programming language
PureScript
Place
strongly typed language that compiles to JavaScript
Basic4android
CreativeWork
programming language
JOSS
Place
programming language
PARI/GP
CreativeWork
computer algebra system
Harbour
Place
programming language, primarily used to create database/business programs
Locomotive BASIC
Place
proprietary dialect of the BASIC programming language
4th Dimension
Place
relational database and programming language
Falcon
Place
programming language
DIGITAL Command Language
Place
command language adopted by several operating systems (OSs)
Visual Objects
Place
object-oriented computer programming language
WMLScript
Place
programming language
Seed7
Place
programming language
IBM Informix-4GL
Place
4GL programming language
Joy
Place
programming language
High Performance Fortran
Place
extension of Fortran 90 with constructs that support parallel computing
Stylus
Place
style sheet language
Sather
Place
object-oriented programming language similar to Eiffel
Turbo-BASIC XL
Place
advanced version of BASIC for the Atari 8-bit family of home computers
Red
Place
programming language