Formal_System
Ranked by notability · Page 11
1,768
Articles
11
Images
750
Websites Tracked
30
Pages
Browse by Type
Programming Language (473)
Scripting Language (26)
Esoteric Programming Language (12)
Visual Programming Language (7)
Page Description Language (7)
Object-Based Language (7)
Software (6)
Shading Language (6)
Audio Programming Language (6)
4th-Generation Programming Language (6)
Functional Programming Language (5)
Educational Programming Language (5)
Free Software (5)
Technical Standard (4)
Domain-Specific Language (4)
Scripting Language (26)
Esoteric Programming Language (12)
Visual Programming Language (7)
Page Description Language (7)
Object-Based Language (7)
Software (6)
Shading Language (6)
Audio Programming Language (6)
4th-Generation Programming Language (6)
Functional Programming Language (5)
Educational Programming Language (5)
Free Software (5)
Technical Standard (4)
Domain-Specific Language (4)
Caméléon
Place
visual programming language
chef
Place
esoteric programming language
PWCT
Place
Programming Without Coding Technology
ADMB
Place
free and open source software suite for non-linear statistical modeling
Protel
Place
programming language created used on telecommunications switching systems such as the DMS-100
Bluespec, Inc.
Place
company behind Bluespec HDL
Bistro
Place
programming language
ATOLL
Place
programming language
Lisp Machine Lisp
Place
programming language, a dialect of the language Lisp
Flavors
Place
programming language
Oberon-2
Place
programming language
algebraic semantics
Place
form of axiomatic semantics
Pnuts
Place
dynamic scripting language for the Java platform
Alma-0
Place
multi-paradigm computer programming language
Object-PL/SQL
Place
methodology of using the Oracle Corporation's procedural extension language for SQL and the Oracle r
Embedded Visual Basic
CreativeWork
Integrated Development Environment and programming language based on Visual Basic (Classic)
BSASPEC
Place
Nikhil Nandhi/ Pavan Tickson
Reia
Place
programming language
Algebraic Logic Functional programming language
Place
programming language which combines functional and logic programming techniques
Frege
Thing
functional programming language
MLAB
Place
multi-paradigm numerical computing environment
BASIC Programming
VideoGame
1979 video game
Stateflow
Place
control logic tool used to model reactive systems via state machines and flow charts within a Simuli
Grammatical Framework
Place
programming language
Gambit
CreativeWork
software which interprets and compiles Scheme code into C code
ObjectPAL
Place
programming language used by the Borland Paradox database application
Oak
Place
programming language
A Manufacturing Language
Place
general-purpose programming language
SYCL
Place
higher-level programming model for OpenCL
Monkey X
Place
programming language from the Blitz Basic family
Modula-2+
Place
programming language descended from the Modula-2 language
SISAL
Place
programming language
COWSEL
Place
programming language
Le Lisp
Place
implementation of Lisp developed in France
ToonTalk
Thing
computer programming system intended to be programmed by children
Babbage
Place
high level assembly programming language for the GEC 4000 series minicomputers
wenyan‑lang
Place
esoteric programming language based on Classic Chinese
CWEB
Place
programming language
Superbase database
Place
end-user desktop database program
Programming Language for Business
Place
business-oriented programming language originally called DATABUS
Zeno
Place
programming language
Microsoft C
Place
Microsoft’s programming language and compiler for C and C++
Optimization Programming Language
Place
algebraic modeling language
BlitzMax
Place
cross-platform programming language
LYaPAS
Place
programming language
IBM Cross System Product
Place
application generator for IBM mainframes
RUR-PLE
Place
educational tool to help students learn the Python programming language
PONIE
Place
discontinued Perl project
POSXML
Place
programming language based on XML, used to create applications for a POS terminal
2.PAK
Place
Programming language for artificial intelligence
Constraint Handling Rules
Place
declarative, rule-based language
EXEC 2
Place
interpreted, command procedure control, computer scripting language
Dolittle
Place
programming language
Sing#
Place
programming language
Chez Scheme
CreativeWork
R6RS Scheme compiler and run-time
Global Arrays
Place
library developed by scientists at Pacific Northwest National Laboratory for parallel computing
Open Roberta
Place
project within the German education initiative "Roberta—Learning with robots"
Euclid
Place
imperative programming language for writing verifiable programs
Actor
Place
programming language
Baltie
Place
block programming language