Home › Browse › Formal System

Formal System

Ranked by notability · Page 20

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)
Educational Programming Language (5)
Shading Language (5)
Free Software (5)
Technical Standard (4)
High-Level Programming Language (4)
Prodel
Place
programming language
Kaya
Place
programming language
MIXAL
Place
assembly language
HP-GL
Place
printer control language created by Hewlett-Packard (HP)
Robotc
Place
programming language based on C
Oolong
Place
programming language
NESL
Place
parallel programming language
Phoenix Object Basic
CreativeWork
Object-oriented programming language
Kid’s Programming Language
Place
programming language
ZetaLisp
Place
programming language
UWSC
Place
programming language
Ada 95
Place
programming language version
URQ
Place
programming language
Lazy K
Place
programming language
Bon
Place
programming language
Scalable Application Language
Place
Programming language
Hybris
Place
programming language
NEWP
Place
high-level programming language
Pbrain
Place
Variant of the Brainfuck programming language
SICStus Prolog
SoftwareApplication
prolog implementation
wollok
Thing
Educative programming language
MINC
Place
Scripting language
FpgaC
CreativeWork
compiler for a subset of the C programming language
KL0
Place
sequential logic programming language based on Prolog
MCPL
Place
programming language
NOMAD
Place
relational database and fourth-generation language
PeopleCode
Place
proprietary object-oriented programming language
MDL
Place
Basic Sound Extension
Place
an extension for Sinclair Basic (for the ZX Spectrum) providing improved sound capabilities
Janus
Place
programming language
Generalized Automation Language
Place
programming language for MVS based systems
SequenceL
Place
general purpose functional programming language and auto-parallelizing compiler and tool set
LINC 4GL
Place
programming language
PS 440
Place
XMTC
Place
shared-memory parallel programming language
Polyphonic C#
Place
extension of the C# programming language
Filetab
Place
decision table-based computer programming language
Abstract State Machine Language
Place
programming language based on the Abstract State Machines formal method
Split-C
Place
parallel extension of the C programming language
MShell
Place
object-oriented programming language
Klerer-May System
Place
programming language oriented to numerical scientific programming
G-Portugol
Place
programming language
Ada 80
Place
preliminary non-standard version of the Ada programming language
AIMACO
Place
BASIC-8
Place
dialect of the BASIC programming language for PDP-8 minicomputers
Advanced Business Application Language
Place
programming language
XML Sapiens
Place
Izibasic
Place
programming language
.QL
Place
object-oriented query language
CiMPLE
Place
visual programming language that tries to visually mimic procedural languages like C/C++
Zope Page Templates
Place
template system for web pages
Portal
Place
programming language
OmniMark
Place
fourth-generation programming language used mostly in the publishing industry
Ateji PX
Place
object-oriented programming language extension for Java
Céu
Place
synchronous programming language for reactive programming
KuMir
SoftwareApplication
educational integrated development environment
Synergy DBL
Place
imperative programming language
DAP FORTRAN
Place
extension of the non IO parts of FORTRAN
EFL
Place
programming language
TACPOL
Place
block structured programming language