Home › Browse › Formal System

Formal System

Ranked by notability · Page 18

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)
Shading Language (5)
Educational Programming Language (5)
Free Software (5)
Technical Standard (4)
High-Level Programming Language (4)
Alpha
Place
database language proposed by Edgar F. Codd
PROGRES
Place
programming language
MicroBlocks
Place
free blocks programming system for microcontrollers
EusLisp Robot Programming Language
Place
Lisp-based programming system
NESL
Place
parallel programming language
Aheui
Place
programming language
NEWP
Place
high-level programming language
Table Producing Language
SoftwareApplication
Cryptol
Place
domain specific programming language for cryptography
Filetab
Place
decision table-based computer programming language
KS programming
Place
programming language
Jeem
Place
programming language
Simple Yet Powerful Scripting Language
Place
programming language
SCOOP
Place
the Simple Concurrent Object-Oriented Programming extension for concurrent programming in the Eiffel programming language
NQP
Place
programming language
WICS
Place
high-level programming language
Join Java
Place
programming language
Potion
Place
programming language
Nord Programming Language
Place
programming language
o:XML
Place
programming language based on XML-syntax
RiscLua
Place
implementation of Lua to RISC OS
Pencil Code
Place
educational programming language and website
PPL
Place
programming language
Abbreviated Language For Authorization
Place
pseudocode language used in the formulation of access-control policies
Baltazar
Place
programming language
Honeywell ARGUS
Place
low-level computer programming language
Cornell University Programming Language
Place
procedural computer programming language
JoCaml
Place
experimental functional programming language derived from OCaml
Logel
Place
programming language
Powerscript
Place
AiScript
Place
lightweight scripting language
Emerald
Place
programming language
ASCEND
Place
open source, mathematical modelling chemical process modelling system
MLisp
Place
programming language
OmniMark
Place
fourth-generation programming language used mostly in the publishing industry
Extended Syntax of Sinclair BASIC
Place
programming language
Split-C
Place
parallel extension of the C programming language
Hugo
Place
programming language for interactive fiction games
Simul
Place
econometric tool for the multidimensional (multi-sectoral and multi-regional) modelling
LISA
Place
language to describe the instruction set architecture of a processor
Full BASIC
Place
Programming language dialect; international standard
ObjectLOGO
Place
Logo with object-oriented programming extensions and lexical scoping
Lazy ML
Place
programming language
FileMaker Script
Place
programming language
Joule
Place
programming language
CDuce
Place
XML-oriented functional programming language
Ixi lang
Place
software and programming language
Algek
Place
programming language
CAL Actor Language
Place
dataflow language
Extempore
Place
real-time audiovisual software
SAMPL
Place
algebraic modeling language
Klerer-May System
Place
programming language oriented to numerical scientific programming
Universal Test Specification Language
Place
programming language
Graphics Layout Engine
Place
programming language
Pxem
Place
esoteric programming language
Sleep
Place
programming language
Polyphonic C#
Place
extension of the C# programming language
///
Place
programming language
Ada 83
Place
programming language
Checked C
Event
extension of C programming language