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)

o:XML
Place
programming language based on XML-syntax
MicroBlocks
Place
free blocks programming system for microcontrollers
Newspeak
Place
programming language
MOLOG
Place
programming language
Baltazar
Place
programming language
HyperFun
Place
simple modelling language intended for describing geometric objects
Powerscript
Place
Structured Audio Orchestra Language
Place
programming language designed for describing virtual instruments
Sigma
Place
programming language
AiScript
Place
lightweight scripting language
ASCEND
Place
open source, mathematical modelling chemical process modelling system
DIV Games Studio
Place
programming language
Hugo
Place
programming language for interactive fiction games
Mana
Place
programming language
OptimJ
Place
extension of the Java programming language
KEMURI
Place
esoteric programming language
Business Intelligence Markup Language
Place
domain-specific XML dialect for defining business intelligence (BI) assets
M language
Place
Programming language used by the DGFiP to calculate income tax
Laser BASIC
Place
Sinclair BASIC extension, a set of command commands for work with graphics and sprints
Kyma
Place
visual programming language for sound design
LOOM
Place
knowledge representation language
CFScript
Place
CFML programming language extension for ColdFusion
BANCStar programming language
Place
specialist computer programming language for financial applications
Alphard
Place
Pascal-like programming language for data abstraction and verification
Accent R
Place
fourth-generation programming language
Data General Business Basic
Place
specific programming language developed by Data General
Checked C
Event
extension of C programming language
CLP(R)
Place
declarative programming language
Snek
Place
interpreted programming language
Edison
Place
ChatScript
Place
Alpha
Place
database language proposed by Edgar F. Codd
Table Producing Language
SoftwareApplication
KS programming
Place
programming language
MST Workshop
Place
interactive computer programming language
Potion
Place
programming language
FP84
Place
programming language to support the function-level paradigm
Jeem
Place
programming language
Mirah
Place
programming language based on Ruby language
Simple Yet Powerful Scripting Language
Place
programming language
StaDyn
Place
StaDyn is a programming language which combines static and dynamic typing in the very same programming language.
urbiscript
Place
programming language for robotics
Extended Syntax of Sinclair BASIC
Place
programming language
FileMaker Script
Place
programming language
PCASTL
Place
interpreted high-level programming language
Algek
Place
programming language
PROGRES
Place
programming language
Latino
Place
Programming Language
CAL Actor Language
Place
dataflow language
Universal Test Specification Language
Place
programming language
Relevance Language
Place
XProfan
Place
programming language
Concurrent Prolog
Place
programming language derived from Prolog
Sleep
Place
programming language
Atom
Place
Programming language
Full BASIC
Place
Programming language dialect; international standard
Dependency Constraint Language
Place
Language that makes it possible to locate implementation decisions in the source code of a software
NCL
Place
programming language
Project Verona
Place
experimental programming language
COMPACT II
Place