Formal System
Ranked by notability · Page 10
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)
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)
Project Builder
Place
integrated development environment (IDE) originally for the NeXTSTEP operating system
SMIL Timesheets
Place
style sheet language which is intended for use as an external timing stylesheet for SMIL
Maya Embedded Language
Place
scripting language used to simplify tasks in Autodesk's 3D Graphics Software Maya
ล็อกทอล์ก
Place
object-oriented logic programming language that extends and leverages the Prolog language
Hot Soup Processor
Place
Japanese programming language
Pascal Script
Place
scripting language based on Object Pascal
Casio BASIC
Place
programming language
Ur/Web
Place
functional programming language tailored for web development
Cirq
Place
free software library for editing and simulating quantum circuits
Telescript
Place
programming language
Sawzall
Place
programming language
Cilk Plus
Place
Parallel programming extension to C and C++
CycL
Place
ontology language used by Doug Lenat's Cyc artificial intelligence project
SASL
Place
purely functional programming language
Chinese BASIC
Place
several Chinese-localized versions of the BASIC programming language
Iota and Jot
Place
minimalistic Turing-complete programming languages based on combinatory logic
Advice taker
Place
hypothetical computer program
BASIC A+
SoftwareApplication
implementation of the BASIC programming language
Handel-C
Place
high-level programming language which targets low-level hardware, most commonly used in the programming of FPGAs
xHarbour
Place
free multi-platform extended Clipper compiler
Hop
Place
Lisp-like programming language
Flapjax
Place
programming language built atop JavaScript
URBI
Intangible
open-source cross-platform software platform in C++ used to develop applications for robotics and complex systems
Wyvern
Place
programming language
JADE
Place
proprietary object-oriented software development and deployment platform
RPython
Place
programming language based on Python
PL360
Place
programming language
PyScript
CreativeWork
framework for running Python scripts in a web browser
ExtendScript
Place
scripting language (an extension of JavaScript) and associated toolkit, developed by Adobe
MLAB
Place
multi-paradigm numerical computing environment
SLIP
Place
list processing computer programming language
BASIC-PLUS
Place
dialect of the BASIC Programming Language
GNU Awk
Place
Text scanning and processing language
Alma-0
Place
multi-paradigm computer programming language
PL/Perl
Place
implementation of the Perl programming language for PostgreSQL database systems
Caché ObjectScript
Place
programming language
Game Oriented Assembly Lisp
Place
video game programming language
Protel
Place
programming language created used on telecommunications switching systems such as the DMS-100
IBM Cross System Product
Place
application generator for IBM mainframes
ADMB
Place
free and open source software suite for non-linear statistical modeling
ISETL
Place
very high-level programming language based on the mathematical theory of sets
3APL
Place
experimental tool and programming language
Phrogram
Place
computer programming language
Mary
Place
programming language
chef
Place
esoteric programming language
XPL
Place
dialect of the PL/I programming language, designed to be used in writing compilers
AmbientTalk
Place
programming language
Silq
Place
quantum programming language
Template Attribute Language
Place
template language
PWCT
Place
Programming Without Coding Technology
ARITH-MATIC
Place
extension of Grace Hopper's A-2 programming language
Flavors
Place
programming language
Scriptlet
Place
Java-code embedded in the HTML-like JSP code
JASS
Place
scripting language provided with an event-driven API
GRASS
Place
programming language
Franz Lisp
SoftwareApplication
dialect of the Lisp programming language
Baltie
Place
block programming language
Concurrent Haskell
Place
extension of Haskell 98 with explicit concurrency
Spice Lisp
Place
Lisp dialect
Frege
Thing
functional programming language