Formal System

Ranked by notability · Page 11

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)

Modula-2+
Place
programming language descended from the Modula-2 language
Agora
Place
reflective, prototype-based, object-oriented programming language
PIC
Place
Typesetting language and program for drawing
GrGen
Place
programming language
Global Arrays
Place
library developed by scientists at Pacific Northwest National Laboratory for parallel computing
Charm
Place
programming language
Rocky Mountain BASIC
Place
dialect of the BASIC programming language
WATFIV
Place
implementation of the Fortran computer programming language
Algebraic Logic Functional programming language
Place
programming language which combines functional and logic programming techniques
CWEB
Place
programming language
occam-π
Place
variant of the programming language occam
Programming Language for Business
Place
business-oriented programming language originally called DATABUS
Robot Battle
VideoGame
programming game for Microsoft Windows where players design and code adaptable battling robots
Pnuts
Place
dynamic scripting language for the Java platform
2.PAK
Place
Programming language for artificial intelligence
ToonTalk
Thing
computer programming system intended to be programmed by children
OBJ
Place
programming language family
Baltie
Place
block programming language
Parser
Place
scripting language targeting server-side web development
Superbase database
Place
end-user desktop database program
Bosque
Place
programming language
Chez Scheme
CreativeWork
R6RS Scheme compiler and run-time
Optimization Programming Language
Place
algebraic modeling language
LYaPAS
Place
programming language
ObjectPAL
Place
programming language used by the Borland Paradox database application
Gosu
Place
programming language
Constraint Handling Rules
Place
declarative, rule-based language
SISAL
Place
programming language
Allegro Common Lisp
Place
programming language with an integrated development environment (IDE)
Robic
Place
Soviet programming language
JEAN
Place
dialect of the JOSS programming language
Whiley
Place
programming language
BSASPEC
Place
Nikhil Nandhi/ Pavan Tickson
SATySFi
CreativeWork
Programming language for typesetting
Open Roberta
Place
project within the German education initiative "Roberta—Learning with robots"
Zeno
Place
programming language
PILOT
Place
historic programming language
XBasic
Place
variant of the BASIC programming language
wenyan‑lang
Place
esoteric programming language based on Classic Chinese
SMALL
Place
programming language
algebraic semantics
Place
form of axiomatic semantics
Pastel
Place
programming language
Control Language
Place
IBM operating system scripting language
Color BASIC
Place
implementation of Microsoft BASIC that is included in the ROM of the Tandy/Radio Shack TRS-80 Color Computers
NewtonScript
Place
programming language
flow chart language
Place
programming language
BlitzMax
Place
cross-platform programming language
Stateflow
Place
control logic tool used to model reactive systems via state machines and flow charts within a Simulink model
BASIC Programming
VideoGame
1979 video game
3APL
Place
experimental tool and programming language
Silq
Place
quantum programming language
Babbage
Place
high level assembly programming language for the GEC 4000 series minicomputers
Oak
Place
programming language
Spice Lisp
Place
Lisp dialect
Variable Assembly Language
Place
programming language
Grammatical Framework
Place
programming language
ABSET
Place
declarative programming language
Reia
Place
programming language
BBN LISP
Place
dialect of the Lisp programming language
Power Fx
Place
programming language