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)

JASS
Place
scripting language provided with an event-driven API
Allegro Common Lisp
Place
programming language with an integrated development environment (IDE)
Zeno
Place
programming language
Dolittle
Place
programming language
Robic
Place
Soviet programming language
KL1
Place
experimental AND-parallel version of KL0
BlitzMax
Place
cross-platform programming language
Distributed Application Specification Language
Place
programming language
Pastel
Place
programming language
CWEB
Place
programming language
ISETLW
Place
very high-level programming language based on the mathematical theory of sets
Enchanting
Place
educational programming language
Dependent ML
Place
experimental functional programming language
Entry
Place
programming language
UNCOL
Place
proposed universal intermediate language for compilers
Pixilang
Place
programming language designed for cross-platform graphics and sound applications
Mondrian
CreativeWork
statistical data-visualization software
GDScript
Place
programming language
Argh!
Place
Data Access Language
Place
SQL-like language and application programming interface
Lisaac
Place
object-oriented programming language
Umple
Place
language for both object-oriented programming and modelling with class diagrams and state diagrams
Visual Basic 6
Place
BPEL script
Place
Church
Place
family of LISP-like programming language for specifying arbitrarily probabilistic programs
UNITY
Place
programming language
Hindawi Programming System
Place
suite of open source programming languages
LEGO
Place
logical proof assistant
Citrine
Place
programming language
Algoid
Place
programming language
Focal
Place
programming language
Installer
Place
scripting language by Commodore International, derived from the LISP programming language
Perl Data Language
Place
set of free software array programming extensions to the Perl programming language
Plus
Place
programming language
Pic Micro Pascal
Place
free Pascal cross compiler for PIC microcontrollers
FOCUS
Place
database reporting program
ALGO
Place
Early computer algebraic programming language
Ada 2005
Place
2005 edition of the Ada programming language standard
Swift
Place
parallel scripting language
El-76
Place
computer language
KOMPILER
Place
one of the first language compilation and runtime systems for IBM
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
Turbo51
Place
compiler for the programming language Pascal, for the Intel MCS-51 (8051) family of microcontrollers
IronScheme
Place
implementation of the Scheme programming language targeting the Microsoft .NET framework
EarSketch
WebSite
free educational programming environment
AtScript
Place
proposed JavaScript-based scripting language
BitC
Place
programming language
Spoon
Place
esoteric programming language
Nice
Place
object-oriented programming language
Stagecast Creator
Place
visual programming language intended for use in teaching programming to children
MiniZinc
Place
constraint modeling language
Macintosh Common Lisp
Place
implementation and IDE for the Common Lisp programming language
Krypton
Place
programming language
Executive Systems Problem Oriented Language
Place
Systems programming superset of ALGOL 60
PLEXIL
Place
open source technology for automation
Language H
Place
procedural programming language
Hopscotch
MobileApplication
app for teaching programming