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 (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)
Graphics Layout Engine
Place
programming language
Abstract State Machine Language
Place
programming language based on the Abstract State Machines formal method
Aheui
Place
programming language
RSL
Place
SAMPL
Place
algebraic modeling language
Lazy ML
Place
programming language
Klerer-May System
Place
programming language oriented to numerical scientific programming
MShell
Place
object-oriented programming language
Cornell University Programming Language
Place
procedural computer programming language
Abbreviated Language For Authorization
Place
pseudocode language used in the formulation of access-control policies
Tiny
Place
programming language
Source
Place
family of JavaScript sub-languages
AIMACO
Place
Table Producing Language
SoftwareApplication
Pencil Code
Place
educational programming language and website
JavaScript for Automation
Place
Join Java
Place
programming language
X-BASIC
Place
ActiveBasic
Place
programming language
chomski
Place
command line computer language
Level I BASIC
Place
programming language
SIGNAL
Place
programming language
ZetaLisp
Place
programming language
BasicX
Place
free programming language
Slate
Place
prototype-based programming language
Categorical Programming Language
Place
programmling language
DADiSP
Place
numerical computing environment
FOCAL-69
Place
landmark version of the FOCAL programming language
AgentCubes
Place
educational programming language
ECL
Place
extensible high-level programming language and development environment
Speakeasy
Place
numerical computing interactive environment also featuring an interpreted programming language
Smart Pascal
Place
dialect of the Object Pascal computer language that is derived from Delphi Web Script
Oolong
Place
programming language
SICStus Prolog
SoftwareApplication
prolog implementation
NCL
Place
programming language
MIMIC
Place
former simulation computer language
CAL Actor Language
Place
dataflow language
Universal Test Specification Language
Place
programming language
KL0
Place
sequential logic programming language based on Prolog
Synergy DBL
Place
imperative programming language
KuMir
SoftwareApplication
educational integrated development environment
BBj
Place
programming language
Scol
Place
programming language
AdvPL
Place
proprietary programming language based on xBase
Object-Oriented Turing
Place
Janus
Place
programming language
Sleep
Place
programming language
Generalized Automation Language
Place
programming language for MVS based systems
XProfan
Place
programming language
Darwin
Place
programming language
Baltazar
Place
programming language
Split-C
Place
parallel extension of the C programming language
G-Portugol
Place
programming language
Advanced Business Application Language
Place
programming language
StaDyn
Place
StaDyn is a programming language which combines static and dynamic typing in the very same programming language.
.QL
Place
object-oriented query language
CiMPLE
Place
visual programming language that tries to visually mimic procedural languages like C/C++
MIIS
Place
programming language
Full BASIC
Place
Programming language dialect; international standard
OmniMark
Place
fourth-generation programming language used mostly in the publishing industry