Formal System

Ranked by notability · Page 9

1,768
Articles
11
Images
750
Websites Tracked
30
Pages

Browse by Type

Programming Language (458)
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)

Chapel
Place
programming language
Gödel
Place
programming language
Maxscript
Place
scripting language for Autodesk 3ds Max's three-dimensional modeling package
Coral 66
Place
programming language
STOS BASIC
Place
dialect of the BASIC programming language
Pizza
Place
programming language
ISLISP
Place
programming language in the Lisp family
Vimscript
Place
programming language
Ballerina
Place
programming language
Pascal Script
Place
scripting language based on Object Pascal
MPD
class
programming language
SMIL Timesheets
Place
style sheet language which is intended for use as an external timing stylesheet for SMIL
Printer Job Language
Place
method developed by Hewlett-Packard for switching printer languages at the job level
Handel-C
Place
high-level programming language which targets low-level hardware, most commonly used in the programming of FPGAs
SQL/PSM
Place
ISO standard mainly defining an extension of SQL with a procedural language for use in stored procedures
MIVA Script
Place
scripting language
coarray Fortran
Place
programming extension for parallel processing
Tea
Place
programming language
MAD
Place
programming language and compiler
BASIC A+
SoftwareApplication
implementation of the BASIC programming language
Ubercode
Place
high-level programming language
ACL2
Place
software system consisting of a programming language, an extensible theory in a first-order logic, and an automated theorem prover
ล็อกทอล์ก
Place
object-oriented logic programming language that extends and leverages the Prolog language
NATURAL
Place
programming language
Ur/Web
Place
functional programming language tailored for web development
Robik
Place
ZX Spectrum clone
Casio BASIC
Place
programming language
GeneXus
Place
Cross-Platform, knowledge representation-based development tool
Active Oberon
Place
programming language
CycL
Place
ontology language used by Doug Lenat's Cyc artificial intelligence project
Standard ML of New Jersey
Place
free software implementation of the ML language
Pico
Place
programming language to introduce the essentials of programming to non-computer science students
Dafny
Place
programming language
Flapjax
Place
programming language built atop JavaScript
RPython
Place
programming language based on Python
ASIC
SoftwareApplication
programming language
Zonnon
Place
programming language
Averest
Place
synchronous programming language and set of tools to specify, verify, and implement reactive systems
Maya Embedded Language
Place
scripting language used to simplify tasks in Autodesk's 3D Graphics Software Maya
Project Builder
Place
integrated development environment (IDE) originally for the NeXTSTEP operating system
Cirq
Place
free software library for editing and simulating quantum circuits
Go!
Place
multi-paradigm programming language
Wyvern
Place
programming language
URBI
Intangible
open-source cross-platform software platform in C++ used to develop applications for robotics and complex systems
Cuneiform
Place
purely functional workflow programming language
Chinese BASIC
Place
several Chinese-localized versions of the BASIC programming language
C/AL
Place
programming language
ABC ALGOL
Place
programming language
MATH-MATIC
Place
marketing name for the AT-3 (Algebraic Translator 3) compiler, an early programming language for the UNIVAC I and UNIVAC II
Iota and Jot
Place
minimalistic Turing-complete programming languages based on combinatory logic
SmallBASIC
Place
BASIC programming language dialect with interpreters released as free software
SASL
Place
purely functional programming language
Advice taker
Place
hypothetical computer program
xHarbour
Place
free multi-platform extended Clipper compiler
Hot Soup Processor
Place
Japanese programming language
XSB
Place
dialect of the Prolog programming language and its implementation
Dragon
Place
dynamic programming language
Hop
Place
Lisp-like programming language
wxBasic
Place
a free software based on syntax for novice programmers
Telescript
Place
programming language