Formal System

Ranked by notability · Page 4

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)

DarkBASIC
Place
BASIC dialect
Interactive Data Language
Place
programming language
GNU Guile
Place
Scheme implementation intended especially for extensions
Mojo
Place
programming language
Maclisp
Place
dialect of the Lisp programming language
Pike
Place
programming language
Karel
Place
programming language
Max (programming language)
Place
programming language
Curl
Place
programming language
Hewlett-Packard Graphics Language
Place
printer control language
CICS
Place
IBM customer data and transaction management application
Factor
Place
programming language
Datalog
Place
declarative logic programming language
Blockly
Place
Blockly visual programming language
C++/CLI
Place
programming language
PL/M
Place
high-level programming language for Intel microprocessors
Curry
Place
programming language
Turbo Basic
Place
programming language
WEB
Place
programming language
ScratchJr
Place
visual programming language
FoxPro
Place
programming language
DRAKON
Place
algorithmic visual programming and modeling language
BLISS
Place
systems programming language
FLOW-MATIC
Place
programming language
Integer BASIC
CreativeWork
BASIC interpreter of the Apple I and original Apple II computers
PowerBASIC
Place
brand of several commercial compilers by PowerBASIC Inc. that compile a dialect of the BASIC programming language
Shakespeare
Place
esoteric programming language designed by Jon Åslund and Karl Hasselström
KTurtle
Place
educational programming environment for turtle graphics
Sinclair BASIC
Place
dialect of the programming language BASIC
High Level Assembly
CreativeWork
high-level assembly language
COMAL
Place
programming language
UCSD Pascal
Place
Pascal programming language system
Modula-3
Place
programming language
CLISP
Place
software implementation of the programming language Common Lisp
PL/pgSQL
Place
procedural programming language for PostgreSQL database systems
Applesoft BASIC
CreativeWork
floating-point BASIC interpreter
Asymptote
Place
descriptive vector graphics language
Unobtrusive JavaScript
Place
general approach to the use of JavaScript in web pages
YAWL
Place
workflow modelling language
SystemVerilog
Place
hardware description and hardware verification language
Cobra
Place
programming language
Agda
Place
dependently typed, purely functional programming language and proof assistant
HQ9+
Place
esoteric programming language
Stackless Python
Place
alternative Python implementation
MXML
CreativeWork
XML-based user interface markup language
UnrealScript
Place
The scripting language that Unreal Engine used for authoring game code and gameplay events before the release of Unreal Engine 4.
SQL*Plus
SoftwareApplication
Interactive and batch query tool installed with Oracle Database installations
Java Agent Development Framework
CreativeWork
software framework
GAP
Thing
computer algebra system for computational discrete algebra
Mizar
Place
proof assistant
FRACTRAN
Place
Turing-complete esoteric programming language invented by John Conway
ALGOL W
Place
programming language based on a proposal for ALGOL X
Atari BASIC
CreativeWork
BASIC interpreter
structured text
Place
one of the five languages supported by the IEC 61131-3 standard, designed for programmable logic controllers (PLCs)
Unified Parallel C
Place
extension of the C programming language designed for high-performance computing on large-scale parallel machines
HyperTalk
Place
programming language
Commodore BASIC
Place
BASIC programming language
BBC BASIC
Place
version of the BASIC programming language
Pharo
Place
open-source Smalltalk environment
Argus
Place
programming language