Home › Browse › Formal System

Formal System

Ranked by notability · Page 15

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)
Liquidsoap
CreativeWork
language for describing audio and video streams
Atari LOGO
Place
cartridge-based version of the Logo programming language for the Atari 8-bit family
Stagecast Creator
Place
visual programming language intended for use in teaching programming to children
OMeta
Place
object-oriented programming language
Haskell 98 features
Place
Features in Haskell programming language
Language H
Place
procedural programming language
EXAPT
Place
production oriented programming language to generate NC programs with control information for machining tools
EarSketch
WebSite
free educational programming environment
Pic Micro Pascal
Place
free Pascal cross compiler for PIC microcontrollers
Citrine
Place
programming language
BPEL script
Place
Krypton
Place
programming language
SCM
Place
implementation of the Scheme programming language
Mondrian
CreativeWork
statistical data-visualization software
UNCOL
Place
proposed universal intermediate language for compilers
Little b
Place
domain-specific 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
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
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
Installer
Place
scripting language by Commodore International, derived from the LISP programming language
Visual Basic 6
Place
Lisaac
Place
object-oriented programming language
Laning and Zierler system
Place
algebraic compiler
JRT
Place
Pascal programming language implementation
IBM RPG III
Place
Dialect of the RPG programming language.
Concurrent Pascal
Place
programming language
Dartmouth ALGOL 30
Place
ALGOL implementation
Work Flow Language
Place
the process control language for the Burroughs large systems