Formal System

Ranked by notability · Page 14

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)

Grace
Place
programming language
Ada 2005
Place
2005 edition of the Ada programming language standard
CafeOBJ
Place
declarative programming language
GOAL
Place
agent programming language for programming cognitive agents
Nadeshiko
Place
programming language
Gauche
CreativeWork
Scheme implementation
Argh!
Place
JAWS Scripting Language
Place
proprietary programming language
Vienna Definition Language
Place
programming language
Hierarchical Music Specification Language
Place
music programming language
Ioke
Place
programming language
CAL
Place
programming language
RapidBatch
Place
AtScript
Place
proposed JavaScript-based scripting language
DASL
Place
programming language and compiler proprietary to Datapoint
KRL
Place
knowledge representation language
Spoon
Place
esoteric programming language
Strongtalk
Place
programming language
Digital Asset Modeling Language (DAML)
Place
SQR
Place
programming language for generating database reports
Snap4Arduino
CreativeWork
Snap4Arduino is a modification of the Snap! visual programming language that lets you interact with Arduino boards
Escher
Place
declarative programming language that supports both functional programming and logic programming models
Macintosh Common Lisp
Place
implementation and IDE for the Common Lisp programming language
SK8
CreativeWork
Software by Apple Computer
CS-4
Place
programming language and an operating system interface
Continuous Function Chart
Place
graphic editor that can be used in conjunction with the STEP 7 software package
Cat
Place
programming language
MultiLisp
Place
functional programming language and dialect of Scheme,
EarSketch
WebSite
free educational programming environment
Triton
Place
programming language
Hume
Place
functionally based programming language
Nice
Place
object-oriented programming language
TUTOR
Place
programming language
LispWorks
Place
proprietary implementation and integrated development environment (IDE) for Common Lisp
ProSet
Place
set theoretic programming language
Nessus Attack Scripting Language
Place
scripting language that is used by vulnerability scanners like Nessus and OpenVAS
Flowcode
Place
Microsoft Windows-based development environment
λProlog
Place
logic programming language featuring polymorphic typing, modular programming
VIPLE
Place
programming language environment
ELAN
Place
educational programming language for learning and teaching systematic programming
NIL
Place
dialect of Lisp
Umple
Place
language for both object-oriented programming and modelling with class diagrams and state diagrams
CA-Telon
Place
ParaSail
Place
object-oriented parallel programming language
Language H
Place
procedural programming language
OPS5
Place
rule-based or production system computer language
PL-11
Place
high-level machine-oriented programming language
KUKA Robot Language
Place
programming language
RTL/2
Place
programming language developed at Imperial Chemical Industries Ltd by J.G.P. Barnes
S/SL
Place
programming language
SiMPLE
Place
programming language
JS++
Place
web programming language
MS BASIC for Macintosh
Place
dialect of Microsoft BASIC for Macintosh
Concurrent Euclid
Place
concurrent descendant of the Euclid programming language
Haskell 98 features
Place
Features in Haskell programming language
ILNumerics.Net
CreativeWork
software
Ficl
Place
programming language
HPCC
Place
open source, data-intensive computing system platform
VAX Macro
Place
assembly language
IronScheme
Place
implementation of the Scheme programming language targeting the Microsoft .NET framework