Formal_System

Ranked by notability · Page 23

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)

Alphard
Place
Pascal-like programming language for data abstraction and verification
Common Lisp Music
Place
Audio programming language
FpgaC
CreativeWork
compiler for a subset of the C programming language
ArkTS
Place
general-purpose compiled programming language
TOMVIEW
Place
platform for solving applied optimization problems in LabVIEW
Alpha
Place
database language proposed by Edgar F. Codd
COMPACT II
Place
Cerner CCL
Place
Cerner Corporation fourth-generation programming language
MIIS
Place
programming language
Nord Programming Language
Place
programming language
PyLinda
Place
Python implementation of Linda
Z++
Place
object-oriented extension to the Z specification language
Honeywell ARGUS
Place
low-level computer programming language
MUDDL
Place
domain-specific language for creation of text-based virtual worlds
Napier88
Place
programming language
AIMACO
Place
JavaScript for Automation
Place
FO(.)
Place
knowledge representation computer programming language
Astek
Place
programming language
Object Lisp
Place
Project Verona
Place
experimental programming language
Toi
Place
imperative programming language
Basic4GL
Place
interpreted, open source version of the BASIC programming language
Extempore
Place
real-time audiovisual software
Interactive C
Place
modified version of ANSI C to program small robotics platforms
RiscLua
Place
implementation of Lua to RISC OS
RCX code programming language
Place
programming language
Object Oberon
Place
programming language based on the Oberon programming language
Simul
Place
econometric tool for the multidimensional (multi-sectoral and multi-regional) modelling
CaPSL
Place
Programming language
Twelf
Place
implementation of the logical framework LF
WebGPU Shading Language
Place
shading language
RTML
Place
proprietary programming language used exclusively by Yahoo!'s Yahoo! Store and Yahoo! Site web hosti
CLP(R)
Place
declarative programming language
Polymorphic Programming Language
Place
interactive, extensible programming language type
JR-BASIC
Place
dialect of the BASIC programming language
MIMIC
Place
former simulation computer language
wollok
Thing
Educative programming language
HP-GL
Place
printer control language created by Hewlett-Packard (HP)
Synergy DBL
Place
imperative programming language
Scientific Vector Language
Place
programming language
Frame-based editor
Place
EX-BASIC
Place
Sinclair BASIC extension for the Sinclair ZX Spectrum Computer
Deesel
Place
metalanguage based on Java
HyperFun
Place
simple modelling language intended for describing geometric objects
CGOL
Place
programming language
Lithe
Place
experimental programming language
WICS
Place
high-level programming language
SubL
Place
programming language
KuMir
SoftwareApplication
educational integrated development environment
Petr
Place
programming language for Windows
BasicX
Place
free programming language
BAL
Place
low-level programming language designed by Olivetti in the mid-1970s
AMPLE
Place
programming language
Itk
Place
framework for building mega-widgets using the Incr Tcl object system
Jmax
CreativeWork
visual programming environment for building interactive real-time music and multimedia applications
HP BASIC for OpenVMS
Place
BASIC dialect
Ferite
Place
programming language
Net.Data
Place
programming language by IBM used largely for database-backed web applications
Bertrand
Place
programming language