Formal System
Ranked by notability · Page 13
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)
SYCL
Place
higher-level programming model for OpenCL
Kawa
Place
Java framework and implementation of Scheme, Elisp, and more
Game Oriented Assembly Lisp
Place
video game programming language
JASS
Place
scripting language provided with an event-driven API
Zeno
Place
programming language
Dolittle
Place
programming language
Reia
Place
programming language
Modula-2+
Place
programming language descended from the Modula-2 language
BlitzMax
Place
cross-platform programming language
Alma-0
Place
multi-paradigm computer programming language
ISETLW
Place
very high-level programming language based on the mathematical theory of sets
OPS5
Place
rule-based or production system computer language
KUKA Robot Language
Place
programming language
Dependent ML
Place
experimental functional programming language
Entry
Place
programming language
UNCOL
Place
proposed universal intermediate language for compilers
Mondrian
CreativeWork
statistical data-visualization software
Raptor
Place
graphical authoring tool
Pixilang
Place
programming language designed for cross-platform graphics and sound applications
GDScript
Place
programming language
Argh!
Place
BlooP and FlooP
Place
simple programming languages
Data Access Language
Place
SQL-like language and application programming interface
FriCAS
Place
programming language
Umple
Place
language for both object-oriented programming and modelling with class diagrams and state diagrams
Python 3
Place
major release of Python programming language
Suneido
Place
programming language
Enchanting
Place
educational programming language
Church
Place
family of LISP-like programming language for specifying arbitrarily probabilistic programs
UNITY
Place
programming language
BPEL script
Place
Hindawi Programming System
Place
suite of open source programming languages
Work Flow Language
Place
the process control language for the Burroughs large systems
KNITRO
Place
commercial software package for solving large scale nonlinear mathematical optimization problems
Focal
Place
programming language
Citrine
Place
programming language
Perl Data Language
Place
set of free software array programming extensions to the Perl programming language
Plus
Place
programming language
FOCUS
Place
database reporting program
Pic Micro Pascal
Place
free Pascal cross compiler for PIC microcontrollers
Ada 2005
Place
2005 edition of the Ada programming language standard
El-76
Place
computer language
Algoid
Place
programming language
Dartmouth ALGOL 30
Place
ALGOL implementation
IBM RPG III
Place
Dialect of the RPG programming language.
Next Byte Codes
Place
programming language to program Lego Mindstorms NXT programmable bricks
Grace
Place
programming language
Nadeshiko
Place
programming language
Snap4Arduino
CreativeWork
Snap4Arduino is a modification of the Snap! visual programming language that lets you interact with Arduino boards
JRT
Place
Pascal programming language implementation
Lisaac
Place
object-oriented programming language
IronScheme
Place
implementation of the Scheme programming language targeting the Microsoft .NET framework
Krypton
Place
programming language
AtScript
Place
proposed JavaScript-based scripting language
EarSketch
WebSite
free educational programming environment
Spoon
Place
esoteric programming language
Nice
Place
object-oriented programming language
Laning and Zierler system
Place
algebraic compiler
Concurrent Pascal
Place
programming language
Macintosh Common Lisp
Place
implementation and IDE for the Common Lisp programming language