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)

Ring
Place
dynamically typed, general-purpose programming language
GAUSS
Place
matrix programming language for mathematics and statistics
DYNAMO
Place
simulation language and accompanying graphical notation
Ratfor
Place
programming language
Action!
Place
programming language
TI-BASIC
Place
programming language used in Texas Instruments calculators
Geometric Description Language
Place
computer programming language
PEARL
Place
programming language
RPL
Place
programming language
Jess
Place
programming language
GPSS
Place
general-purpose programming language
Incr Tcl
Place
object-oriented extensions for the Tcl programming language
Lustre
Place
programming language
SAS Language
Place
programming language used for statistical analysis
Data Language Interface
Place
database language
Wiring
Place
computer software for electronics prototyping
Rapira
Place
educational procedural programming language
Hollywood
Place
programming language
C++/CX
Place
language extension for C++ compilers
LotusScript
Place
object oriented programming language used by Lotus Notes
TTCN
Place
programming language used for testing of communication protocols and web services
Cilk
Place
Parallel programming language
REALBasic
Place
programming language
Planner
Place
programming language
ALGOL 58
Place
programming language
mIRC scripting language
Place
scripting language embedded in mIRC, an IRC client for Windows
Nemerle
Place
general-purpose high-level statically typed programming language
Sather
Place
object-oriented programming language similar to Eiffel
X10
Place
programming language, part of the Productive, Easy-to-use, Reliable Computing System (PERCS) project
DIGITAL Command Language
Place
command language adopted by several operating systems (OSs)
High Performance Fortran
Place
extension of Fortran 90 with constructs that support parallel computing
Lingo
Place
scripting language
Sieve
Place
Programming language that can be used for email filtering
PARI/GP
CreativeWork
computer algebra system
JOSS
Place
programming language
CLIST
Place
programming language
Stylus
Place
style sheet language
IBM Informix-4GL
Place
4GL programming language
Object REXX
Place
object-oriented scripting language for the operating system OS/2
GnuCOBOL
CreativeWork
COBOL compiler and runtime
Turbo-BASIC XL
Place
advanced version of BASIC for the Atari 8-bit family of home computers
SPARK
Place
programming language
Fortress
Place
programming language
Objective-J
Place
programming language developed as part of the Cappuccino web development framework
Grasshopper 3d
SoftwareApplication
Programming language
WMLScript
Place
programming language
PureScript
Place
strongly typed language that compiles to JavaScript
General Algebraic Modeling System
Place
high-level modeling system for mathematical optimization, designed for modeling and solving linear, nonlinear, and mixed-integer optimization problems
Seed7
Place
programming language
XProc
CreativeWork
language to describe a pipeline of operations on XML documents
MIT/GNU Scheme
Place
a Scheme implementation with integrated editor and debugger
Red
Place
programming language
nesC
Place
extension of the programming language C especially created for TinyOS
Openmodelica
Place
free and open source environment based on the Modelica modeling language for modeling
Unicon
Place
programming language descended from Icon
CHICKEN
CreativeWork
Scheme-based programming language implementation
Basic4android
CreativeWork
programming language
newLISP
Place
programming language
MBASIC
Place
Microsoft BASIC implementation for the CP/M operating system
4th Dimension
Place
relational database and programming language