Formal_System

Ranked by notability · Page 4

1,768
Articles
11
Images
750
Websites Tracked
30
Pages

Browse by Type

Programming Language (473)
Scripting Language (26)
Esoteric Programming Language (12)
Visual Programming Language (7)
Page Description Language (7)
Object-Based Language (7)
Software (6)
Shading Language (6)
Audio Programming Language (6)
4th-Generation Programming Language (6)
Functional Programming Language (5)
Educational Programming Language (5)
Free Software (5)
Technical Standard (4)
Domain-Specific Language (4)

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