Formal System

Ranked by notability · Page 16

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)

EuLisp
Place
statically and dynamically scoped Lisp dialect
MDL
Place
programming language, a descendant of the language Lisp
Edinburgh IMP
Place
systems programming language used in the EMAS operating system
Atari LOGO
Place
cartridge-based version of the Logo programming language for the Atari 8-bit family
XCore XS1
Place
32-bit RISC microprocessor architecture designed by XMOS
GOAL
Place
agent programming language for programming cognitive agents
OMeta
Place
object-oriented programming language
Language H
Place
procedural programming language
EXAPT
Place
production oriented programming language to generate NC programs with control information for machining tools
EarSketch
WebSite
free educational programming environment
Pic Micro Pascal
Place
free Pascal cross compiler for PIC microcontrollers
Citrine
Place
programming language
BPEL script
Place
SCM
Place
implementation of the Scheme programming language
Mondrian
CreativeWork
statistical data-visualization software
Little b
Place
domain-specific programming language
Elliott ALGOL
Place
ALGOL 60 compiler for the Elliott 803 computer
Niki – der Roboter
CreativeWork
computer program
Nice
Place
object-oriented programming language
Liquidsoap
CreativeWork
language for describing audio and video streams
FARGO
Place
programming language
XLNT
Place
Scripting language
SAKO
Place
programming language
EasyLanguage
Place
proprietary programming language
2APL
Place
modular BDI-based programming language
MUSIC-N
Place
audio programming language
LFE
Place
Lisp Flavored Erlang
Janus
Place
time-reversible computing programming language
Rpal
Place
programming language
WSFN
Place
interpreted programming language for controlling robots
Jai
Place
High-level programming language
MS BASIC for Macintosh
Place
dialect of Microsoft BASIC for Macintosh
Programmation Automatique des Formules
Place
programming language similar to FORTRAN
λProlog
Place
logic programming language featuring polymorphic typing, modular programming
Macintosh Common Lisp
Place
implementation and IDE for the Common Lisp programming language
Spoon
Place
esoteric programming language
AtScript
Place
proposed JavaScript-based scripting language
Nadeshiko
Place
programming language
Next Byte Codes
Place
programming language to program Lego Mindstorms NXT programmable bricks
Perl Data Language
Place
set of free software array programming extensions to the Perl programming language
FOCUS
Place
database reporting program
Focal
Place
programming language
Plus
Place
programming language
UNITY
Place
programming language
Church
Place
family of LISP-like programming language for specifying arbitrarily probabilistic programs
Hindawi Programming System
Place
suite of open source programming languages
PL-11
Place
high-level machine-oriented programming language
GDScript
Place
programming language
Ciao
Place
programming language
ELAN
Place
educational programming language for learning and teaching systematic programming
Poplog
Place
programming language
Personal Printer Data Stream
Place
Leet
Place
esoteric programming language based loosely on Brainfuck
Strongtalk
Place
programming language
COMTRAN
Place
Proposed programming language
Programming Computable Functions
Place
typed functional language
C Intermediate Language
Place
simplified subset of the C programming language
El-76
Place
computer language
Cayenne
Place
programming language
Nato.0+55+3d
Place
application software for realtime video and graphics