Home › Browse › Formal_System

Formal_System

Ranked by notability · Page 19

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)
Toi
Place
imperative programming language
Lava
Place
experimental, visual object-oriented, interpreter-based programming language
Céu
Place
synchronous programming language for reactive programming
Kabal
Place
programming language
OmniMark
Place
fourth-generation programming language used mostly in the publishing industry
ARLA
Place
programming language
Structured Audio Orchestra Language
Place
programming language designed for describing virtual instruments
TigerJython
Place
.QL
Place
object-oriented query language
Ateji PX
Place
object-oriented programming language extension for Java
Mana
Place
programming language
Advanced Business Application Language
Place
programming language
Zope Page Templates
Place
template system for web pages
Split-C
Place
parallel extension of the C programming language
Helium
Place
dialect of Haskell
SuperNova
Place
programming language
Janus
Place
programming language
SubL
Place
programming language
KL0
Place
sequential logic programming language based on Prolog
PS 440
Place
Dog
Place
programming language
PPL
Place
programming language
ECL
Place
declarative, data centric programming language
FX-87
Place
polymorphic typed functional language
MDL
Place
DAP FORTRAN
Place
extension of the non IO parts of FORTRAN
Smart Pascal
Place
dialect of the Object Pascal computer language that is derived from Delphi Web Script
Slate
Place
prototype-based programming language
SenseTalk
Place
scripting language derived from the HyperTalk language used in HyperCard
chomski
Place
command line computer language
Kara
CreativeWork
Vintage BASIC
Place
BASIC programming language
Abbreviated Language For Authorization
Place
pseudocode language used in the formulation of access-control policies
Graphics Layout Engine
Place
programming language
Pliant
Place
programming language
URQ
Place
programming language
ANSYS Parametric Design Language
Place
scripting language of ANSYS
Illumination Software Creator
Place
visual programming language
UWSC
Place
programming language
Kid’s Programming Language
Place
programming language
Kaya
Place
programming language
Polymorphic recursion
Place
recursive parametrically polymorphic function
GScript
Place
proprietary programming language
Pan
Place
programming language
COMPACT II
Place
Generalized Automation Language
Place
programming language for MVS based systems
Lazy K
Place
programming language
FOCAL-69
Place
landmark version of the FOCAL programming language
AssemblyScript
Place
programming language, variant of TypeScript that compiles to WebAssembly
PV-Wave
Place
array oriented fourth-generation programming language
ICon-L
CreativeWork
programming language
S-algol
Place
computer programming language
Dependency Constraint Language
Place
Language that makes it possible to locate implementation decisions in the source code of a software
Full BASIC
Place
Programming language dialect; international standard
CiMPLE
Place
visual programming language that tries to visually mimic procedural languages like C/C++
MicroBlocks
Place
free blocks programming system for microcontrollers
SUBLEQ
CreativeWork
OISC where the one instruction is to subtract and branch if less than or equal to zero
Little Smalltalk
Place
non-standard dialect of the Smalltalk programming language
Atom
Place
Programming language
Sleep
Place
programming language