Formal System
Ranked by notability · Page 7
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)
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)
nesC
Place
extension of the programming language C especially created for TinyOS
General Algebraic Modeling System
Place
high-level modeling system for mathematical optimization, designed for modeling and solving linear, nonlinear, and mixed-integer optimization problems
Sather
Place
object-oriented programming language similar to Eiffel
PureScript
Place
strongly typed language that compiles to JavaScript
Red
Place
programming language
newLISP
Place
programming language
MIT/GNU Scheme
Place
a Scheme implementation with integrated editor and debugger
WMLScript
Place
programming language
Seed7
Place
programming language
RGSS
Place
interpreter
XBase++
Place
object oriented programming language which has multiple inheritance and polymorphism
Atari Microsoft BASIC
Place
variant of the BASIC programming language
Script.NET
Place
programming language
Stan
Place
probabilistic programming language for Bayesian inference
Amiga Basic
SoftwareApplication
BASIC programming language implementation for Amiga computers
Bubble
Place
visual programming language
3DMLW
Place
discontinued, open-source, XML-based markup language
FAUST
Thing
programming language
KiXtart
Place
logon script processor and enhanced batch scripting language
Mozart Programming System
Place
major implementation of the Oz programming language
Cypher Query Language
Place
declarative graph query language for the Neo4j graph database
Music Macro Language
Place
programming language for generating computerized music
Not eXactly C
Place
high-level programming language for the Lego Mindstorms NXT
FOCAL
Place
level programming language for the Lego Mindstorms NXT
WQL
Place
Microsoft's implementation of the CIM Query Language
EGL
Place
common language and programming model across languages, frameworks, and runtime platforms
OpenMusic
Place
visual programming environment for musical composition
WordBASIC
Place
subset of Microsoft QuickBASIC customized for word-processing
Short Code
Place
one of the first higher-level languages ever developed for an electronic computer
Interpress
Place
programming language
Pro*C
Place
embedded SQL programming language used by Oracle Database management systems
Component Pascal
Place
programming language
JAL
Place
Pascal-like programming language and compiler that generates executable code for PIC microcontrollers
TADS
Place
programming language and IDE for interactive fiction
Transaction Application Language
Place
block-structured, procedural language optimized for use on Tandem hardware
Xtend
Place
general-purpose high-level programming language
MetaQuotes Language
Place
programming languages for developing trading robots, technical market indicators, scripts and function libraries
Catrobat
Place
open source visual programming language
Visual DialogScript
Place
interpreted programming language
Refal
Place
functional programming language oriented toward symbolic computations
P′′
Place
primitive computer programming language
Reaktor
Place
graphical modular software music studio
Open Programming Language
Place
programming language
HAL/S
Place
programming language
Flowgorithm
Place
graphical authoring tool which allows users to write and execute programs using flowcharts
TLA+
Place
programming language
Magik
Place
object-oriented programming language that supports multiple inheritance and polymorphism
Stencyl
Place
video game development tool that allows users to create 2D video games for computers, mobile devices, and the web
Interlisp
Place
dialect of the Lisp programming language
ABSYS
Place
declarative programming language
AIMMS
Place
algebraic modeling language
Automatically Programmed Tool
Place
programming language
FreeFem++
Place
Programming and software language
Gremlin
Place
graph traversal language
PL/0
Place
programming language, intended as an educational programming language, that is similar to but much simpler than Pascal
Epson Standard Code for Printers
Place
printer control language developed by Epson to control computer printers
StarLogo
Place
agent-based simulation language
ATLAS Transformation Language
Place
programming language
Scriptol
Place
object-oriented programming language that allows users to declare an XML document as a class
Turing
Place
programming language