Home › Browse › Formal Language

Formal Language

Ranked by notability · Page 15

1,808
Articles
11
Images
765
Websites Tracked
31
Pages

Browse by Type

Programming Language (459)
Scripting Language (25)
Esoteric Programming Language (12)
Assembly Language (10)
Object-Based Language (7)
Visual Programming Language (7)
Software (6)
Audio Programming Language (6)
Page Description Language (6)
4th-Generation Programming Language (6)
Educational Programming Language (5)
Free Software (5)
Functional Programming Language (5)
Shading Language (5)
Technical Standard (4)
S/SL
Place
programming language
RTL/2
Place
programming language developed at Imperial Chemical Industries Ltd by J.G.P. Barnes
PL-11
Place
high-level machine-oriented programming language
ParaSail
Place
object-oriented parallel programming language
CA-Telon
Place
NIL
Place
dialect of Lisp
ELAN
Place
educational programming language for learning and teaching systematic programming
MultiLisp
Place
functional programming language and dialect of Scheme,
VIPLE
Place
programming language environment
Flowcode
Place
Microsoft Windows-based development environment
ProSet
Place
set theoretic programming language
Escher
Place
declarative programming language that supports both functional programming and logic programming models
Digital Asset Modeling Language (DAML)
Place
Strongtalk
Place
programming language
JAWS Scripting Language
Place
proprietary programming language
GOAL
Place
agent programming language for programming cognitive agents
CafeOBJ
Place
declarative programming language
Liquidsoap
CreativeWork
language for describing audio and video streams
Stagecast Creator
Place
visual programming language intended for use in teaching programming to children
Krypton
Place
programming language
Algoid
Place
programming language
Enchanting
Place
educational programming language
El-76
Place
computer language
Cecil
Place
programming language
ProvideX
Place
computer language and development environment derived from Business Basic
LZX
Place
Extensible Markup Language (XML) and JavaScript description language
Concurrent Euclid
Place
concurrent descendant of the Euclid programming language
SiMPLE
Place
programming language
Triton
Place
programming language
Ioke
Place
programming language
Hierarchical Music Specification Language
Place
music programming language
DASL
Place
programming language and compiler proprietary to Datapoint
Vienna Definition Language
Place
programming language
RapidBatch
Place
Hume
Place
functionally based programming language
FJAX
Place
programming language
ASSK
Place
programming language
XCore XS1
Place
32-bit RISC microprocessor architecture designed by XMOS
Charity
Thing
Programming language
SCM
Place
implementation of the Scheme programming language
Praspel
Place
formal specification language for PHP
Obix
Place
programming language
Halide
Place
programming language
Programmation Automatique des Formules
Place
programming language similar to FORTRAN
R++
Place
programming language based on C++
Leda
Place
programming language
ABLE
Place
programming language
Ciao
Place
programming language
LispWorks
Place
proprietary implementation and integrated development environment (IDE) for Common Lisp
Fuzzy Control Language
Place
language for implementing fuzzy logic, especially fuzzy control
YS MegaBasic
SoftwareApplication
PLEXIL
Place
open source technology for automation
BitC
Place
programming language
MiniZinc
Place
constraint modeling language
Executive Systems Problem Oriented Language
Place
Systems programming superset of ALGOL 60
Turbo51
Place
compiler for the programming language Pascal, for the Intel MCS-51 (8051) family of microcontrollers
KOMPILER
Place
one of the first language compilation and runtime systems for IBM
Swift
Place
parallel scripting language
ALGO
Place
Early computer algebraic programming language
LEGO
Place
logical proof assistant