Formal_System
Ranked by notability · Page 11
1,768
Articles
11
Images
750
Websites Tracked
30
Pages
Browse by Type
Programming Language (469)
Scripting Language (25)
Esoteric Programming Language (12)
Visual Programming Language (7)
Object-Based Language (7)
Software (6)
Audio Programming Language (6)
Shading Language (6)
Page Description Language (6)
4th-Generation Programming Language (6)
Functional Programming Language (5)
Educational Programming Language (5)
Free Software (5)
Technical Standard (4)
Procedural Programming Language (4)
Scripting Language (25)
Esoteric Programming Language (12)
Visual Programming Language (7)
Object-Based Language (7)
Software (6)
Audio Programming Language (6)
Shading Language (6)
Page Description Language (6)
4th-Generation Programming Language (6)
Functional Programming Language (5)
Educational Programming Language (5)
Free Software (5)
Technical Standard (4)
Procedural Programming Language (4)
Parlog
Place
programming language
chef
Place
esoteric programming language
CWEB
Place
programming language
Frege
Thing
functional programming language
Gosu
Place
programming language
SLIP
Place
list processing computer programming language
ARITH-MATIC
Place
extension of Grace Hopper's A-2 programming language
Microsoft C
Place
Microsoft’s programming language and compiler for C and C++
ABSET
Place
declarative programming language
SMALL
Place
programming language
Flavors
Place
programming language
XBasic
Place
variant of the BASIC programming language
EXEC 2
Place
interpreted, command procedure control, computer scripting language
BASIC Programming
VideoGame
1979 video game
Bistro
Place
programming language
TELCOMP
Place
interactive, conversational language based on JOSS
Grammatical Framework
Place
programming language
XPL
Place
dialect of the PL/I programming language, designed to be used in writing compilers
Dolittle
Place
programming language
Odin
Place
programming language
Reia
Place
programming language
AmbientTalk
Place
programming language
COWSEL
Place
programming language
Concurrent Haskell
Place
extension of Haskell 98 with explicit concurrency
Euclid
Place
imperative programming language for writing verifiable programs
Whiley
Place
programming language
MLAB
Place
multi-paradigm numerical computing environment
Charm
Place
programming language
PL/Perl
Place
implementation of the Perl programming language for PostgreSQL database systems
Game Oriented Assembly Lisp
Place
video game programming language
SYCL
Place
higher-level programming model for OpenCL
Variable Assembly Language
Place
programming language
WATFIV
Place
implementation of the Fortran computer programming language
ATOLL
Place
programming language
Abbreviated Test Language for All Systems
Place
MILSPEC language for automatic testing of avionics equipment
BBN LISP
Place
dialect of the Lisp programming language
Kawa
Place
Java framework and implementation of Scheme, Elisp, and more
Forte 4GL
Place
proprietary application server
Modula-2+
Place
programming language descended from the Modula-2 language
ExtendScript
Place
scripting language (an extension of JavaScript) and associated toolkit, developed by Adobe
SNOBOL4
Place
programming language tailored to complex pattern matching and text manipulation
occam-π
Place
variant of the programming language occam
BASIC-PLUS
Place
dialect of the BASIC Programming Language
Phrogram
Place
computer programming language
Robot Battle
VideoGame
programming game for Microsoft Windows where players design and code adaptable battling robots
algebraic semantics
Place
form of axiomatic semantics
Caché ObjectScript
Place
programming language
Protel
Place
programming language created used on telecommunications switching systems such as the DMS-100
Superbase database
Place
end-user desktop database program
Rocky Mountain BASIC
Place
dialect of the BASIC programming language
Axum
Place
domain-specific concurrent programming language
IBM Cross System Product
Place
application generator for IBM mainframes
Common Workflow Language
Organization
open standards project
Maude system
Place
implementation of rewriting logic developed at SRI International
Compiler Description Language
Place
programming language based on affix grammars
Delphi Prism
Place
programming language
Parser
Place
scripting language targeting server-side web development
Dialect
Place
programming language created by George Harth
SETL2
Place
very high-level programming language based on the mathematical theory of sets
Constraint Handling Rules
Place
declarative, rule-based language