Formal_System
Ranked by notability · Page 3
1,768
Articles
11
Images
750
Websites Tracked
30
Pages
Browse by Type
Programming Language (469)
Scripting Language (25)
Esoteric Programming Language (12)
Visual Programming Language (7)
Object-Based Language (7)
Software (6)
Audio Programming Language (6)
Shading Language (6)
Page Description Language (6)
4th-Generation Programming Language (6)
Functional Programming Language (5)
Educational Programming Language (5)
Free Software (5)
Technical Standard (4)
Procedural Programming Language (4)
Scripting Language (25)
Esoteric Programming Language (12)
Visual Programming Language (7)
Object-Based Language (7)
Software (6)
Audio Programming Language (6)
Shading Language (6)
Page Description Language (6)
4th-Generation Programming Language (6)
Functional Programming Language (5)
Educational Programming Language (5)
Free Software (5)
Technical Standard (4)
Procedural Programming Language (4)
Microsoft Small Basic
Place
programming language dialect and development environment
Printer Command Language
Place
Page description language
Stata
Place
statistical software package
Job Control Language
Place
scripting languages used on IBM mainframe operating systems to instruct the system on how to run a b
Game Maker Language
Place
programming language
Visual J++
Place
Microsoft's discontinued implementation of Java
Icon
Place
programming language
CPL
Place
multi-paradigm programming language
Cython
CreativeWork
programming language compatible with Python
Racket
Place
functional and contractual programming language, with strong, dynamic and reflective typing, derived
ALGOL 60
CreativeWork
member of the ALGOL family of computer programming languages
Server Side Includes
Place
interpreted server-side scripting language
Business Process Execution Language
Place
language for specifying actions within business processes with web services
Solidity
Place
object-oriented programming language for writing smart contracts.
AspectJ
Place
aspect-oriented programming (AOP) extension created at PARC for the Java programming language
Raku
Place
member of the Perl family of programming languages
Singularity
CreativeWork
operating system
MetaPost
Place
programming language
SuperCollider
Place
environment and programming language for real-time audio synthesis and algorithmic composition
AutoLISP
Place
dialect of the programming language Lisp built specifically for use with the full version of AutoCAD
Elm
Place
functional reactive programming language
Portlet
Place
pluggable user interface software components
Emacs Lisp
Place
dialect of Lisp used in GNU Emacs
Ceylon
Place
programming language
Carbon
Place
programming language
SQLAlchemy
Product
free software SQL toolkit and object-relational mapper
Limbo
Place
programming language
Nim
Place
programming language
Delphi
Place
programming language (dialect of Object Pascal, used in Embarcadero Delphi)
NetLogo
Place
programming language
Blitz BASIC
Place
programming language family
High Level Shader Language
Place
shading language
Snap!
Place
programming language
Modula
Place
programming language
Wolfram Language
Place
programming language and environment
Microsoft Macro Assembler
Place
x86 assembler that uses the Intel syntax for MS-DOS and Microsoft Windows
Mercury
Place
functional logic programming language
Self
Place
programming language
Piet
Place
visual programming language
CLIPS
Place
public domain software tool for building expert systems
Euphoria
Place
programming language
Turbo C++
CreativeWork
compiler and integrated development environment and computer language originally from Borland
TECO
CreativeWork
programmable text editor
Modelica
Place
programming language
Paradox
CreativeWork
relational database management system
AMOS
Place
programming language
Caml
Place
dialect of the ML programming language family
Microsoft BASIC
Place
foundation product of the Microsoft company
Csound
CreativeWork
software and an audio programming language
MUMPS
Place
programming language
ROOT
Place
data analysis software
GNU Guile
Place
Scheme implementation intended especially for extensions
Rocq prover
CreativeWork
proof assistant
Crystal
Place
programming language
Lean
CreativeWork
software for interactive and automated theorem proving
JOVIAL
Place
programming language
Inform
Place
programming language and design system for interactive fiction
BETA
Place
object-oriented programming language
Jinja
Place
Web template engine for Python
Clean
Thing
programming language