Home › Browse › Formal_System

Formal_System

Ranked by notability · Page 24

1,768
Articles
11
Images
750
Websites Tracked
30
Pages

Browse by Type

Programming Language (473)
Scripting Language (26)
Esoteric Programming Language (12)
Visual Programming Language (7)
Page Description Language (7)
Object-Based Language (7)
Software (6)
Shading Language (6)
Audio Programming Language (6)
4th-Generation Programming Language (6)
Functional Programming Language (5)
Educational Programming Language (5)
Free Software (5)
Technical Standard (4)
Domain-Specific Language (4)
IITRAN
Place
discontinued programming language
Procyon
Place
programming language
Hartmann pipeline
Place
implementation of the pipeline concept for VM/CMS systems
RCX code programming language
Place
programming language
Zimbu
Place
programming language
Laser BASIC
Place
Sinclair BASIC extension, a set of command commands for work with graphics and sprints
Ateji PX
Place
object-oriented programming language extension for Java
Script-Fu
Place
GIMP scripting language
Improved Microdrive BASIC Operating System
Place
programming language
Bidule
Place
music software
MIMIC
Place
former simulation computer language
PATH
Place
esoteric programming language
Trade Space Visualizer
Place
data visualization tool
SuperPascal
Place
imperative, concurrent computing programming language
Arendelle
Place
programming language
Atom
Place
Programming language
Joe-E
Place
subset of Java to support programming according to object-capability discipline
Rational Modeling Language
Place
programming language based on group and graph theory
BasicX
Place
free programming language
ANSYS Parametric Design Language
Place
scripting language of ANSYS
ArmScript
Place
programming language
Smart Pascal
Place
dialect of the Object Pascal computer language that is derived from Delphi Web Script
BCY
Place
programming language
STRINGCOMP
Place
programming language
MUF
Place
programming language
Toi
Place
imperative programming language
KEMURI
Place
esoteric programming language
PROMAL
Place
structured programming language from Systems Management Associates
FX-87
Place
polymorphic typed functional language
TUZ-3
Place
Programming language for minicomputer MKJ-25
CLP(R)
Place
declarative programming language
Gibiane
Place
programming language based on Fortran 77
LCM
Place
programming language
Concurrent Prolog
Place
programming language derived from Prolog
Flex
Place
1960s programming language
PottersWheel
Place
MATLAB toolbox for mathematical modeling of time-dependent dynamical systems
Starlark
Place
configuration language used by Bazel and other build systems
UWSC
Place
programming language
3APHP
Place
programming language
MCPL
Place
programming language
Level I BASIC
Place
programming language
Deterministic Parallel Java
Place
extension of the Java programming language
CaPSL
Place
Programming language
CSS preprocessor
Place
computer tool (or program) for dynamically generating CSS files
G-Portugol
Place
programming language
OptimJ
Place
extension of the Java programming language
CAL Actor Language
Place
dataflow language
ObjectStar
Place
programming language
Business Intelligence Markup Language
Place
domain-specific XML dialect for defining business intelligence (BI) assets
ALCOR
Place
computer language definition
Kyma
Place
visual programming language for sound design
LOOM
Place
knowledge representation language
EPSILON
Place
macro language developed by A.P. Ershov at Novosibirsk in 1967
TouchDevelop
WebSite
programming environment for Windows 8 and Windows Phone
Teml
Place
Macro language
Zope Page Templates
Place
template system for web pages
Universal Test Specification Language
Place
programming language
KL0
Place
sequential logic programming language based on Prolog
NESL
Place
parallel programming language
BASIC-8
Place
dialect of the BASIC programming language for PDP-8 minicomputers