Formal System

Ranked by notability · Page 12

1,768
Articles
11
Images
750
Websites Tracked
30
Pages

Browse by Type

Programming Language (459)
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)

JEAN
Place
dialect of the JOSS programming language
Whiley
Place
programming language
SETL2
Place
very high-level programming language based on the mathematical theory of sets
Grammatical Framework
Place
programming language
RAPID
Place
high-level programming language used to control ABB industrial robots
Accent
Place
programming language
Distributed Application Specification Language
Place
programming language
2.PAK
Place
Programming language for artificial intelligence
Delphi Prism
Place
programming language
Reia
Place
programming language
Blue
Place
programming language
Variable Assembly Language
Place
programming language
DATATRIEVE
Place
database query and report writer tool
Maude system
Place
implementation of rewriting logic developed at SRI International
ZOPL
Place
programming language for use on mainframe computer systems used in libraries and banking institutions
Sing#
Place
programming language
PL/Perl
Place
implementation of the Perl programming language for PostgreSQL database systems
wenyan‑lang
Place
esoteric programming language based on Classic Chinese
Mobile BASIC
Place
proprietary dialect of the BASIC programming language that can be used to program Java-enabled mobile phones
Pastel
Place
programming language
chef
Place
esoteric programming language
GNU Awk
Place
Text scanning and processing language
Alma-0
Place
multi-paradigm computer programming language
Caméléon
Place
visual programming language
PyScript
CreativeWork
framework for running Python scripts in a web browser
SLIP
Place
list processing computer programming language
Noop
Place
project by Google engineers Alex Eagle and Christian Gruber aiming to develop a new programming language
MC#
Place
concurrent programming language based on C#
ISETL
Place
very high-level programming language based on the mathematical theory of sets
MLAB
Place
multi-paradigm numerical computing environment
Flavors
Place
programming language
ATOLL
Place
programming language
Global Arrays
Place
library developed by scientists at Pacific Northwest National Laboratory for parallel computing
Programming Language for Business
Place
business-oriented programming language originally called DATABUS
Monkey X
Place
programming language from the Blitz Basic family
SNOBOL4
Place
programming language tailored to complex pattern matching and text manipulation
JASS
Place
scripting language provided with an event-driven API
SATySFi
CreativeWork
Programming language for typesetting
Chez Scheme
CreativeWork
R6RS Scheme compiler and run-time
IBM Query Management Facility
Place
business analytics software solution
ADMB
Place
free and open source software suite for non-linear statistical modeling
Game Oriented Assembly Lisp
Place
video game programming language
MAI Basic Four
Organization
variety of Business Basic
Hamilton C shell
Place
clone of the Unix C shell and utilities for Microsoft Windows
GameMonkey Script
Place
A Manufacturing Language
Place
general-purpose programming language
Axum
Place
domain-specific concurrent programming language
Orc
Place
programming language
COWSEL
Place
programming language
JModelica.org
Place
free and open source software platform based on the Modelica modeling language
SYCL
Place
higher-level programming model for OpenCL
Basic4ppc
Place
programming language for Pocket PC handheld computers running Windows Mobile operating system
Stanford Artificial Intelligence Language
Place
computer programming language
Franz Lisp
SoftwareApplication
dialect of the Lisp programming language
Modula-2+
Place
programming language descended from the Modula-2 language
AmbientTalk
Place
programming language
Vilnius BASIC
Place
dialect of the BASIC programming language
Opal
Place
programming language
Cadence SKILL
Place
Lisp dialect
Mary
Place
programming language