Formal System

Ranked by notability · Page 23

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)

ASCEND
Place
open source, mathematical modelling chemical process modelling system
MicroBlocks
Place
free blocks programming system for microcontrollers
MUDDL
Place
domain-specific language for creation of text-based virtual worlds
Hugo
Place
programming language for interactive fiction games
RPG Code
Place
programming language
Katahdin
Place
programming language
Grap
Place
programming language
Avenue
Place
scripting language
MicroMondes
Place
programming language
ROOP
Place
multiparadigm programming language targeted at AI applications
Lithe
Place
experimental programming language
Neo Sign 0f Misery
Place
programming language
OptimJ
Place
extension of the Java programming language
Kalimat
Place
programming language
OML
Place
language
Checked C
Event
extension of C programming language
NESL
Place
parallel programming language
KEMURI
Place
esoteric programming language
Business Intelligence Markup Language
Place
domain-specific XML dialect for defining business intelligence (BI) assets
Kyma
Place
visual programming language for sound design
LOOM
Place
knowledge representation language
CFScript
Place
CFML programming language extension for ColdFusion
CLP(R)
Place
declarative programming language
BANCStar programming language
Place
specialist computer programming language for financial applications
Alphard
Place
Pascal-like programming language for data abstraction and verification
EXEL
Place
programming language
Data General Business Basic
Place
specific programming language developed by Data General
Snek
Place
interpreted programming language
Edison
Place
Brutus2D
Place
game programming language
ChatScript
Place
Alpha
Place
database language proposed by Edgar F. Codd
Pliant
Place
programming language
NEWP
Place
high-level programming language
Basic Sound Extension
Place
an extension for Sinclair Basic (for the ZX Spectrum) providing improved sound capabilities
Filetab
Place
decision table-based computer programming language
SCOOP
Place
the Simple Concurrent Object-Oriented Programming extension for concurrent programming in the Eiffel programming language
PL/Python
Place
implementation of the Python programming language for PostgreSQL database systems
Cuis Smalltalk
Place
programming language
CaPSL
Place
Programming language
Jmax
CreativeWork
visual programming environment for building interactive real-time music and multimedia applications
Nord Programming Language
Place
programming language
MLisp
Place
programming language
Izibasic
Place
programming language
Honeywell ARGUS
Place
low-level computer programming language
Join Java
Place
programming language
Napier88
Place
programming language
JoCaml
Place
experimental functional programming language derived from OCaml
Emerald
Place
programming language
Php4delphi
Place
Visual Development Framework for creating custom PHP Extensions using Delphi
FO(.)
Place
knowledge representation computer programming language
Haggis
Place
high-level reference programming language
SequenceL
Place
general purpose functional programming language and auto-parallelizing compiler and tool set
M language
Place
Programming language used by the DGFiP to calculate income tax
ObjectLOGO
Place
Logo with object-oriented programming extensions and lexical scoping
PL/Java
Place
implementation of the Java programming language for PostgreSQL database systems
Pencil Code
Place
educational programming language and website
Joule
Place
programming language
Abbreviated Language For Authorization
Place
pseudocode language used in the formulation of access-control policies
Ixi lang
Place
software and programming language