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)

Grace
Place
programming language
OpenROAD
Place
fourth-generation programming language
MUSIC-N
Place
audio programming language
Janus
Place
time-reversible computing programming language
Programmation Automatique des Formules
Place
programming language similar to FORTRAN
2APL
Place
modular BDI-based programming language
EasyLanguage
Place
proprietary programming language
colorForth
Place
programming language
SARL
Place
modular agent-oriented programming language
Raptor
Place
graphical authoring tool
SAKO
Place
programming language
XLNT
Place
Scripting language
Liquidsoap
CreativeWork
language for describing audio and video streams
FARGO
Place
programming language
Nice
Place
object-oriented programming language
BlooP and FlooP
Place
simple programming languages
Niki – der Roboter
CreativeWork
computer program
Elliott ALGOL
Place
ALGOL 60 compiler for the Elliott 803 computer
Nasal
Place
scripting language
Algoid
Place
programming language
Mondrian
CreativeWork
statistical data-visualization software
Design By Numbers
Place
programming language
Python 3
Place
major release of Python programming language
ASSK
Place
programming language
Metaobject Protocol
Place
vocabulary (protocol) to access and manipulate the structure and behaviour of systems of objects
Suneido
Place
programming language
KNITRO
Place
commercial software package for solving large scale nonlinear mathematical optimization problems
Ficl
Place
programming language
Work Flow Language
Place
the process control language for the Burroughs large systems
TREE-META
Place
compiler-compiler system for context-free languages
SCM
Place
implementation of the Scheme programming language
Dartmouth ALGOL 30
Place
ALGOL implementation
PL/C
Place
programming language developed at Cornell University
Concurrent Pascal
Place
programming language
THINK C
Place
extension of ANSI C for the classic Mac OS
FJAX
Place
programming language
BPEL script
Place
Little b
Place
domain-specific programming language
Focal
Place
programming language
IBM RPG III
Place
Dialect of the RPG programming language.
Frenetic
Place
programming language
EarSketch
WebSite
free educational programming environment
JRT
Place
Pascal programming language implementation
Epigram
Place
functional programming language with dependent types
Laning and Zierler system
Place
algebraic compiler
Lisaac
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
IMP
Place
programming language
OMeta
Place
object-oriented programming language
GOAL
Place
agent programming language for programming cognitive agents
Atari LOGO
Place
cartridge-based version of the Logo programming language for the Atari 8-bit family
Enterprise Mashup Markup Language
Place
XML markup language for creating enterprise mashups
HiAsm
Place
free application integrated development environment (IDE)
COW
Place
programming language
XCore XS1
Place
32-bit RISC microprocessor architecture designed by XMOS
Edinburgh IMP
Place
systems programming language used in the EMAS operating system
OPS5
Place
rule-based or production system computer language
KRL
Place
knowledge representation language
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