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 (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)
Python 3
Place
major release of Python programming language
MultiLisp
Place
functional programming language and dialect of Scheme,
FOCUS
Place
database reporting program
Design By Numbers
Place
programming language
TI BASIC
Place
programming language for TI-99 home computers
Focal
Place
programming language
ProvideX
Place
computer language and development environment derived from Business Basic
IBM PL/S
Place
proprietary IBM systems programming language used for mainframe operating systems development
GolfScript
Place
Dartmouth ALGOL 30
Place
ALGOL implementation
El-76
Place
computer language
Vienna Definition Language
Place
programming language
GDScript
Place
programming language
Krypton
Place
programming language
BEFLIX
Place
first embedded domain-specific language for computer animation
MDL
Place
programming language, a descendant of the language Lisp
Ada 2005
Place
2005 edition of the Ada programming language standard
CBASIC
Place
compiled version of the BASIC programming language
Cat
Place
programming language
Nasal
Place
scripting language
Pixilang
Place
programming language designed for cross-platform graphics and sound applications
Programmation Automatique des Formules
Place
programming language similar to FORTRAN
DASL
Place
programming language and compiler proprietary to Datapoint
PROGOL
Place
implementation of inductive logic programming
Mondrian
CreativeWork
statistical data-visualization software
C Intermediate Language
Place
simplified subset of the C programming language
Flowcode
Place
Microsoft Windows-based development environment
CAL
Place
programming language
Enchanting
Place
educational programming language
OpenMx
Place
open source program for extended structural equation modeling
Hume
Place
functionally based programming language
OpenROAD
Place
fourth-generation programming language
Programming Computable Functions
Place
typed functional language
TREE-META
Place
compiler-compiler system for context-free languages
YS MegaBasic
SoftwareApplication
join-pattern
Place
scalable, high level method for writing concurrent, parallel and distributed programs using message
Leda
Place
programming language
COMTRAN
Place
Proposed programming language
Enterprise Mashup Markup Language
Place
XML markup language for creating enterprise mashups
Leet
Place
esoteric programming language based loosely on Brainfuck
Visual Basic 6
Place
Personal Printer Data Stream
Place
IMP
Place
programming language
OBJ3
Place
programming language family
Poplog
Place
programming language
SiMPLE
Place
programming language
CS-4
Place
programming language and an operating system interface
Atari Pascal
Place
Programming language
Tink
Place
programming language
XLNT
Place
Scripting language
Cecil
Place
programming language
ALGO
Place
Early computer algebraic programming language
Strongtalk
Place
programming language
Frenetic
Place
programming language
Perl Data Language
Place
set of free software array programming extensions to the Perl programming language
ELAN
Place
educational programming language for learning and teaching systematic programming
LEGO
Place
logical proof assistant
Mama
Place
educational object-oriented programming language
Atari ST BASIC
SoftwareApplication
software
XCore XS1
Place
32-bit RISC microprocessor architecture designed by XMOS