Formal System
Ranked by notability · Page 11
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)
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)
Oak
Place
programming language
Open Roberta
Place
project within the German education initiative "Roberta—Learning with robots"
Power Fx
Place
programming language
BBN LISP
Place
dialect of the Lisp programming language
Gosu
Place
programming language
Actor
Place
programming language
AgentSheets
Place
cyber gaming-learning tool for programming and related information technology skills
Chez Scheme
CreativeWork
R6RS Scheme compiler and run-time
Variable Assembly Language
Place
programming language
Frege
Thing
functional programming language
SabreTalk
Place
discontinued dialect of PL/I for the S/360 IBM mainframes running the TPF platform
wenyan‑lang
Place
esoteric programming language based on Classic Chinese
Zeno
Place
programming language
POSXML
Place
programming language based on XML, used to create applications for a POS terminal
Pastel
Place
programming language
SATySFi
CreativeWork
Programming language for typesetting
ObjectPAL
Place
programming language used by the Borland Paradox database application
SynthEdit
Place
framework to generate music software
Phrogram
Place
computer programming language
Pyomo
Place
Python package that defines a Pythonic modeling language for math programming
BASIC-PLUS
Place
dialect of the BASIC Programming Language
Gambit
CreativeWork
software which interprets and compiles Scheme code into C code
BSASPEC
Place
Nikhil Nandhi/ Pavan Tickson
BlitzMax
Place
cross-platform programming language
Grammatical Framework
Place
programming language
Accent
Place
programming language
Caméléon
Place
visual programming language
Protel
Place
programming language created used on telecommunications switching systems such as the DMS-100
Distributed Application Specification Language
Place
programming language
IBM Cross System Product
Place
application generator for IBM mainframes
Delphi Prism
Place
programming language
XBLite
Place
free Open Source BASIC programming language compiler and development system
Reia
Place
programming language
DATATRIEVE
Place
database query and report writer tool
Maude system
Place
implementation of rewriting logic developed at SRI International
Caché ObjectScript
Place
programming language
ExtendScript
Place
scripting language (an extension of JavaScript) and associated toolkit, developed by Adobe
algebraic semantics
Place
form of axiomatic semantics
flow chart language
Place
programming language
NewtonScript
Place
programming language
XPL
Place
dialect of the PL/I programming language, designed to be used in writing compilers
ZOPL
Place
programming language for use on mainframe computer systems used in libraries and banking institutions
ARITH-MATIC
Place
extension of Grace Hopper's A-2 programming language
RAPID
Place
high-level programming language used to control ABB industrial robots
Oberon-2
Place
programming language
SMALL
Place
programming language
XBasic
Place
variant of the BASIC programming language
JASS
Place
scripting language provided with an event-driven API
Noop
Place
project by Google engineers Alex Eagle and Christian Gruber aiming to develop a new programming language
Franz Lisp
SoftwareApplication
dialect of the Lisp programming language
Scriptlet
Place
Java-code embedded in the HTML-like JSP code
Cadence SKILL
Place
Lisp dialect
MC#
Place
concurrent programming language based on C#
PL/Perl
Place
implementation of the Perl programming language for PostgreSQL database systems
A Manufacturing Language
Place
general-purpose programming language
Concurrent Haskell
Place
extension of Haskell 98 with explicit concurrency
DOPE
Place
programming language
TELCOMP
Place
interactive, conversational language based on JOSS
Bluespec, Inc.
Place
company behind Bluespec HDL
IBM Query Management Facility
Place
business analytics software solution