Formal System
Ranked by notability · Page 12
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)
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)
Robic
Place
Soviet programming language
Constraint Handling Rules
Place
declarative, rule-based language
Chez Scheme
CreativeWork
R6RS Scheme compiler and run-time
PONIE
Place
discontinued Perl project
BASIC Programming
VideoGame
1979 video game
Stateflow
Place
control logic tool used to model reactive systems via state machines and flow charts within a Simulink model
BSASPEC
Place
Nikhil Nandhi/ Pavan Tickson
SATySFi
CreativeWork
Programming language for typesetting
ATOLL
Place
programming language
SMALL
Place
programming language
algebraic semantics
Place
form of axiomatic semantics
TELCOMP
Place
interactive, conversational language based on JOSS
Bistro
Place
programming language
ABSET
Place
declarative programming language
Syntax Definition Formalism
Place
metasyntax used to define context-free grammars
XBasic
Place
variant of the BASIC programming language
Pastel
Place
programming language
SNOBOL4
Place
programming language tailored to complex pattern matching and text manipulation
Power Fx
Place
programming language
Spice Lisp
Place
Lisp dialect
BBN LISP
Place
dialect of the Lisp programming language
AgentSheets
Place
cyber gaming-learning tool for programming and related information technology skills
Babbage
Place
high level assembly programming language for the GEC 4000 series minicomputers
IBM Query Management Facility
Place
business analytics software solution
Frege
Thing
functional programming language
Silq
Place
quantum 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
Blue
Place
programming language
Color BASIC
Place
implementation of Microsoft BASIC that is included in the ROM of the Tandy/Radio Shack TRS-80 Color Computers
Open Roberta
Place
project within the German education initiative "Roberta—Learning with robots"
Orc
Place
programming language
3APL
Place
experimental tool and programming language
COWSEL
Place
programming language
Gambit
CreativeWork
software which interprets and compiles Scheme code into C code
XBLite
Place
free Open Source BASIC programming language compiler and development system
POSXML
Place
programming language based on XML, used to create applications for a POS terminal
Basic4ppc
Place
programming language for Pocket PC handheld computers running Windows Mobile operating system
Delphi Prism
Place
programming language
Sing#
Place
programming language
RAPID
Place
high-level programming language used to control ABB industrial robots
MC#
Place
concurrent programming language based on C#
SETL2
Place
very high-level programming language based on the mathematical theory of sets
ZOPL
Place
programming language for use on mainframe computer systems used in libraries and banking institutions
Control Language
Place
IBM operating system scripting language
Dialect
Place
programming language created by George Harth
A Manufacturing Language
Place
general-purpose programming language
PL/Perl
Place
implementation of the Perl programming language for PostgreSQL database systems
Actor
Place
programming language
GNU Awk
Place
Text scanning and processing language
chef
Place
esoteric programming language
Alma-0
Place
multi-paradigm computer programming language
Noop
Place
project by Google engineers Alex Eagle and Christian Gruber aiming to develop a new programming language
SLIP
Place
list processing computer programming language
Monkey X
Place
programming language from the Blitz Basic family
Caméléon
Place
visual programming language
Flavors
Place
programming language
AmbientTalk
Place
programming language
PWCT
Place
Programming Without Coding Technology
Odin
Place
programming language