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)
Shading Language (5)
Educational Programming Language (5)
Free Software (5)
Technical Standard (4)
High-Level Programming Language (4)
NCL
Place
programming language
Project Verona
Place
experimental programming language
Kaya
Place
programming language
Prodel
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
Kid’s Programming Language
Place
programming language
NESL
Place
parallel programming language
Phoenix Object Basic
CreativeWork
Object-oriented programming language
UWSC
Place
programming language
ZetaLisp
Place
programming language
Ada 95
Place
programming language version
URQ
Place
programming language
Lazy K
Place
programming language
Hybris
Place
programming language
Bon
Place
programming language
Scalable Application Language
Place
Programming language
SICStus Prolog
SoftwareApplication
prolog implementation
NEWP
Place
high-level programming language
Pbrain
Place
Variant of the Brainfuck programming language
KL0
Place
sequential logic programming language based on Prolog
wollok
Thing
Educative programming language
MINC
Place
Scripting language
FpgaC
CreativeWork
compiler for a subset of the C programming language
MDL
Place
MCPL
Place
programming language
NOMAD
Place
relational database and fourth-generation language
PeopleCode
Place
proprietary object-oriented programming language
Janus
Place
programming language
Basic Sound Extension
Place
an extension for Sinclair Basic (for the ZX Spectrum) providing improved sound capabilities
Generalized Automation Language
Place
programming language for MVS based systems
PS 440
Place
SequenceL
Place
general purpose functional programming language and auto-parallelizing compiler and tool set
LINC 4GL
Place
programming language
Split-C
Place
parallel extension of the C programming language
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
MShell
Place
object-oriented programming language
G-Portugol
Place
programming language
Klerer-May System
Place
programming language oriented to numerical scientific programming
Advanced Business Application Language
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
.QL
Place
object-oriented query language
XML Sapiens
Place
Izibasic
Place
programming language
LinkML
Place
flexible modeling framework that allow for working with semantic web standards alongside a modern data stack
CiMPLE
Place
visual programming language that tries to visually mimic procedural languages like C/C++
Portal
Place
programming language
Zope Page Templates
Place
template system for web pages
OmniMark
Place
fourth-generation programming language used mostly in the publishing industry
KuMir
SoftwareApplication
educational integrated development environment
Synergy DBL
Place
imperative programming language
Ateji PX
Place
object-oriented programming language extension for Java
EFL
Place
programming language