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)

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