Formal_System
Ranked by notability · Page 13
1,768
Articles
11
Images
750
Websites Tracked
30
Pages
Browse by Type
Programming Language (477)
Scripting Language (27)
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)
Educational Programming Language (5)
Functional Programming Language (5)
Free Software (5)
Technical Standard (4)
Domain-Specific Language (4)
Scripting Language (27)
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)
Educational Programming Language (5)
Functional Programming Language (5)
Free Software (5)
Technical Standard (4)
Domain-Specific Language (4)
Hamilton C shell
Place
clone of the Unix C shell and utilities for Microsoft Windows
Color BASIC
Place
implementation of Microsoft BASIC that is included in the ROM of the Tandy/Radio Shack TRS-80 Color
Oak
Place
programming language
Constraint Handling Rules
Place
declarative, rule-based language
GameMonkey Script
Place
GRASS
Place
programming language
Actor
Place
programming language
Futhark
Place
programming language
Pyomo
Place
Python package that defines a Pythonic modeling language for math programming
PIC
Place
Typesetting language and program for drawing
MultiLisp
Place
functional programming language and dialect of Scheme,
Strongtalk
Place
programming language
LispWorks
Place
proprietary implementation and integrated development environment (IDE) for Common Lisp
XCore XS1
Place
32-bit RISC microprocessor architecture designed by XMOS
Leda
Place
programming language
C Intermediate Language
Place
simplified subset of the C programming language
Poplog
Place
programming language
Hopscotch
MobileApplication
app for teaching programming
COMTRAN
Place
Proposed programming language
Personal Printer Data Stream
Place
Design By Numbers
Place
programming language
NekoVM
Organization
application virtual machine and programming language
ProvideX
Place
computer language and development environment derived from Business Basic
XPL0
Place
computer programming language that is essentially a cross between Pascal and C
Cat
Place
programming language
GDScript
Place
programming language
Hindawi Programming System
Place
suite of open source programming languages
Programming with Big Data in R
Place
series of R packages and an environment for statistical computing with big data
Data Access Language
Place
SQL-like language and application programming interface
Ciao
Place
programming language
Focal
Place
programming language
Nadeshiko
Place
programming language
Spoon
Place
esoteric programming language
AtScript
Place
proposed JavaScript-based scripting language
Visual Basic 6
Place
Pic Micro Pascal
Place
free Pascal cross compiler for PIC microcontrollers
LiveScript
Place
predecessor of JavaScript (founded in 1995)
LEGO
Place
logical proof assistant
ASSK
Place
programming language
Macintosh Common Lisp
Place
implementation and IDE for the Common Lisp programming language
Programmation Automatique des Formules
Place
programming language similar to FORTRAN
Shell Programming/Introduction
Place
MS BASIC for Macintosh
Place
dialect of Microsoft BASIC for Macintosh
Strand
Place
symbolic language for parallel computing
WSFN
Place
interpreted programming language for controlling robots
Swift
Place
parallel scripting language
Suneido
Place
programming language
RapidBatch
Place
Flowcode
Place
Microsoft Windows-based development environment
Jai
Place
High-level programming language
MUSIC-N
Place
audio programming language
LFE
Place
Lisp Flavored Erlang
Hierarchical Music Specification Language
Place
music programming language
Fril
Place
programming language
OpenROAD
Place
fourth-generation programming language
PL/Tcl
Place
implementation of the Tcl scripting language for PostgreSQL database systems
KOMPILER
Place
one of the first language compilation and runtime systems for IBM
PyUnit
Place
code-driven unit testing frameworks for Python
λProlog
Place
logic programming language featuring polymorphic typing, modular programming
SYMPL
Place
obsolete programming language for use on the CDC 6000 series computer systems