Formal_System
Ranked by notability · Page 16
1,768
Articles
11
Images
750
Websites Tracked
30
Pages
Browse by Type
Programming Language (469)
Scripting Language (25)
Esoteric Programming Language (12)
Visual Programming Language (7)
Object-Based Language (7)
Software (6)
Audio Programming Language (6)
Shading Language (6)
Page Description Language (6)
4th-Generation Programming Language (6)
Functional Programming Language (5)
Educational Programming Language (5)
Free Software (5)
Technical Standard (4)
Procedural Programming Language (4)
Scripting Language (25)
Esoteric Programming Language (12)
Visual Programming Language (7)
Object-Based Language (7)
Software (6)
Audio Programming Language (6)
Shading Language (6)
Page Description Language (6)
4th-Generation Programming Language (6)
Functional Programming Language (5)
Educational Programming Language (5)
Free Software (5)
Technical Standard (4)
Procedural Programming Language (4)
Installer
Place
scripting language by Commodore International, derived from the LISP programming language
Program Composition Notation
Place
programming language
KRL
Place
knowledge representation language
PLEXIL
Place
open source technology for automation
Unified Expression Language
Place
domain-specific scripting language used in Java EE web applications
Next Byte Codes
Place
programming language to program Lego Mindstorms NXT programmable bricks
Algoid
Place
programming language
FXML
CreativeWork
XML-based user interface markup language
ISETLW
Place
very high-level programming language based on the mathematical theory of sets
SiMPLE
Place
programming language
Fuzzy Control Language
Place
language for implementing fuzzy logic, especially fuzzy control
BlooP and FlooP
Place
simple programming languages
Apex
Place
programming language developed by Salesforce
JAWS Scripting Language
Place
proprietary programming language
Epigram
Place
functional programming language with dependent types
Tink
Place
programming language
Church
Place
family of LISP-like programming language for specifying arbitrarily probabilistic programs
FOCUS
Place
database reporting program
IBM RPG II
Place
programming language
Focal
Place
programming language
Digital Asset Modeling Language (DAML)
Place
Raptor
Place
graphical authoring tool
Superplan
Place
programming language
ELAN
Place
educational programming language for learning and teaching systematic programming
KOMPILER
Place
one of the first language compilation and runtime systems for IBM
Dartmouth ALGOL 30
Place
ALGOL implementation
EarSketch
WebSite
free educational programming environment
Elliott ALGOL
Place
ALGOL 60 compiler for the Elliott 803 computer
POP-2
Place
programming language
Turbo51
Place
compiler for the programming language Pascal, for the Intel MCS-51 (8051) family of microcontrollers
Strongtalk
Place
programming language
RCML
Place
programming language
NekoVM
Organization
application virtual machine and programming language
2APL
Place
modular BDI-based programming language
Globule
Place
content delivery network
ILNumerics.Net
CreativeWork
software
JS++
Place
web programming language
Obix
Place
programming language
MDL
Place
programming language, a descendant of the language Lisp
ParaSail
Place
object-oriented parallel programming language
CA-Telon
Place
PyUnit
Place
code-driven unit testing frameworks for Python
Triton
Place
programming language
Language H
Place
procedural programming language
Mocklisp
Place
dialect of the programming language Lisp
Subtext
Place
programming language
PL/Tcl
Place
implementation of the Tcl scripting language for PostgreSQL database systems
AtScript
Place
proposed JavaScript-based scripting language
FACT
Place
programming language
Niki – der Roboter
CreativeWork
computer program
Hierarchical Music Specification Language
Place
music programming language
THINK C
Place
extension of ANSI C for the classic Mac OS
NIL
Place
dialect of Lisp
Laning and Zierler system
Place
algebraic compiler
Orwell
Place
programming language
ASSIRIS
class
assembly language for Iris 50 and Felix C platforms
Shell Programming/Introduction
Place
Pic Micro Pascal
Place
free Pascal cross compiler for PIC microcontrollers
LEGO
Place
logical proof assistant
rank
Place
rank in the J programming language