Formal System
Ranked by notability · Page 14
1,768
Articles
11
Images
750
Websites Tracked
30
Pages
Browse by Type
Programming Language (458)
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)
Shading Language (5)
Educational Programming 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)
Shading Language (5)
Educational Programming Language (5)
Free Software (5)
Technical Standard (4)
High-Level Programming Language (4)
Ficl
Place
programming language
GDScript
Place
programming language
Apex
Place
programming language developed by Salesforce
PL-11
Place
high-level machine-oriented programming language
Data Access Language
Place
SQL-like language and application programming interface
NetRexx
Place
open source, originally IBM's, variant of the REXX programming language to run on the Java virtual machine
OpenROAD
Place
fourth-generation programming language
Church
Place
family of LISP-like programming language for specifying arbitrarily probabilistic programs
UNITY
Place
programming language
Epigram
Place
functional programming language with dependent types
Fril
Place
programming language
Focal
Place
programming language
SARL
Place
modular agent-oriented programming language
Perl Data Language
Place
set of free software array programming extensions to the Perl programming language
PL/Tcl
Place
implementation of the Tcl scripting language for PostgreSQL database systems
LiveScript
Place
predecessor of JavaScript (founded in 1995)
colorForth
Place
programming language
RTL/2
Place
programming language developed at Imperial Chemical Industries Ltd by J.G.P. Barnes
Atari ST BASIC
SoftwareApplication
software
SiMPLE
Place
programming language
Design By Numbers
Place
programming language
Next Byte Codes
Place
programming language to program Lego Mindstorms NXT programmable bricks
IBM PL/S
Place
proprietary IBM systems programming language used for mainframe operating systems development
THINK C
Place
extension of ANSI C for the classic Mac OS
Nadeshiko
Place
programming language
AtScript
Place
proposed JavaScript-based scripting language
Macintosh Common Lisp
Place
implementation and IDE for the Common Lisp programming language
Leda
Place
programming language
TREE-META
Place
compiler-compiler system for context-free languages
λProlog
Place
logic programming language featuring polymorphic typing, modular programming
Concurrent Euclid
Place
concurrent descendant of the Euclid programming language
SAC programming language
Place
strict purely functional programming language
Programmation Automatique des Formules
Place
programming language similar to FORTRAN
Concurrent C
Place
extension of the programming language C
ProSet
Place
set theoretic programming language
GNU E
Place
extension of C++ designed for writing software systems to support persistent applications
Nato.0+55+3d
Place
application software for realtime video and graphics
IronScheme
Place
implementation of the Scheme programming language targeting the Microsoft .NET framework
MS BASIC for Macintosh
Place
dialect of Microsoft BASIC for Macintosh
RapidBatch
Place
Jai
Place
High-level programming language
Plus
Place
programming language
ASSIRIS
class
assembly language for Iris 50 and Felix C platforms
Triton
Place
programming language
WSFN
Place
interpreted programming language for controlling robots
PyUnit
Place
code-driven unit testing frameworks for Python
COW
Place
programming language
HiAsm
Place
free application integrated development environment (IDE)
join-pattern
Place
scalable, high level method for writing concurrent, parallel and distributed programs using message passing which are atomically consumed from a group of channels, abstracting away threads and locks
Hindawi Programming System
Place
suite of open source programming languages
Ioke
Place
programming language
Rpal
Place
programming language
Enterprise Mashup Markup Language
Place
XML markup language for creating enterprise mashups
IMP
Place
programming language
Janus
Place
time-reversible computing programming language
LFE
Place
Lisp Flavored Erlang
LZX
Place
Extensible Markup Language (XML) and JavaScript description language
Gauche
CreativeWork
Scheme implementation
CAL
Place
programming language
El-76
Place
computer language