Home › Browse › Formal System

Formal System

Ranked by notability · Page 15

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)
Poplog
Place
programming language
FJAX
Place
programming language
Nice
Place
object-oriented programming language
HPCC
Place
open source, data-intensive computing system platform
Impulse C
Place
subset of the C programming language combined with a C-compatible function library supporting parallel programming
Laning and Zierler system
Place
algebraic compiler
Apple Dylan
Place
programming language
Niki – der Roboter
CreativeWork
computer program
Elliott ALGOL
Place
ALGOL 60 compiler for the Elliott 803 computer
VAX Macro
Place
assembly language
Little b
Place
domain-specific programming language
ELAN
Place
educational programming language for learning and teaching systematic programming
Frenetic
Place
programming language
BlooP and FlooP
Place
simple programming languages
Installer
Place
scripting language by Commodore International, derived from the LISP programming language
PL/Tcl
Place
implementation of the Tcl scripting language for PostgreSQL database systems
SpiderBasic
Place
programming language
FXML
CreativeWork
XML-based user interface markup language
IBM PL/S
Place
proprietary IBM systems programming language used for mainframe operating systems development
Superplan
Place
programming language
Halide
Place
programming language
FACT
Place
programming language
Nessus Attack Scripting Language
Place
scripting language that is used by vulnerability scanners like Nessus and OpenVAS
Mocklisp
Place
dialect of the programming language Lisp
Ciao
Place
programming language
Mondrian
CreativeWork
statistical data-visualization software
SCM
Place
implementation of the Scheme programming language
GDScript
Place
programming language
MiniZinc
Place
constraint modeling language
TREE-META
Place
compiler-compiler system for context-free languages
JAWS Scripting Language
Place
proprietary programming language
PL-11
Place
high-level machine-oriented programming language
Work Flow Language
Place
the process control language for the Burroughs large systems
Hindawi Programming System
Place
suite of open source programming languages
Church
Place
family of LISP-like programming language for specifying arbitrarily probabilistic programs
Programming Computable Functions
Place
typed functional language
TUTOR
Place
programming language
BitC
Place
programming language
Flowcode
Place
Microsoft Windows-based development environment
BPEL script
Place
Strongtalk
Place
programming language
Citrine
Place
programming language
Pic Micro Pascal
Place
free Pascal cross compiler for PIC microcontrollers
UNITY
Place
programming language
Shell Programming/Introduction
Place
Plus
Place
programming language
Ptolemy Project
Place
project aimed at modeling, simulating, and designing concurrent, real-time, embedded systems
KNITRO
Place
commercial software package for solving large scale nonlinear mathematical optimization problems
EarSketch
WebSite
free educational programming environment
RCML
Place
programming language
Focal
Place
programming language
Design By Numbers
Place
programming language
FOCUS
Place
database reporting program
GolfScript
Place
R++
Place
programming language based on C++
EXAPT
Place
production oriented programming language to generate NC programs with control information for machining tools
Language H
Place
procedural programming language
Perl Data Language
Place
set of free software array programming extensions to the Perl programming language
Argh!
Place
OMeta
Place
object-oriented programming language