Home › Browse › Formal System

Formal System

Ranked by notability · Page 23

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)
PROGRES
Place
programming language
Basic Sound Extension
Place
an extension for Sinclair Basic (for the ZX Spectrum) providing improved sound capabilities
NESL
Place
parallel programming language
NEWP
Place
high-level programming language
AQASM
Place
Filetab
Place
decision table-based computer programming language
ObjectStar
Place
programming language
SCOOP
Place
the Simple Concurrent Object-Oriented Programming extension for concurrent programming in the Eiffel programming language
WICS
Place
high-level programming language
Izibasic
Place
programming language
Teml
Place
Macro language
Frink
Place
programming language
Nord Programming Language
Place
programming language
PPL
Place
programming language
Honeywell ARGUS
Place
low-level computer programming language
Ada 2012
Place
2012 edition of the Ada programming language standard
hoc
Place
programming language
Napier88
Place
programming language
JoCaml
Place
experimental functional programming language derived from OCaml
SL5
Place
programming language
Emerald
Place
programming language
PROSA
Place
programming language
MLisp
Place
programming language
FO(.)
Place
knowledge representation computer programming language
Haggis
Place
high-level reference programming language
Ease
Place
programming language
ObjectLOGO
Place
Logo with object-oriented programming extensions and lexical scoping
///
Place
programming language
Ada 83
Place
programming language
Project Verona
Place
experimental programming language
Joule
Place
programming language
Ixi lang
Place
software and programming language
Basic4GL
Place
interpreted, open source version of the BASIC programming language
Colony Framework
Place
open source plugin framework specification
Extempore
Place
real-time audiovisual software
Alusus
Place
programming language
DatalogZ
Place
extension of Datalog with integer arithmetic and comparisons
GEORGE
Place
programming language
Object Oberon
Place
programming language based on the Oberon programming language
NQP
Place
programming language
CSS preprocessor
Place
computer tool (or program) for dynamically generating CSS files
RTML
Place
proprietary programming language used exclusively by Yahoo!'s Yahoo! Store and Yahoo! Site web hosting services
Beatnik
Place
esoteric programming language designed by Cliff L. Biffle
Joyce
Place
programming language
ZhPy
Place
programming language
Polymorphic Programming Language
Place
interactive, extensible programming language type
AssemblyScript
Place
programming language, variant of TypeScript that compiles to WebAssembly
Ana
Place
computer language that is designed for array processing and image data analysis
Topology and Orchestration Specification for Cloud Applications
Place
OASIS standard language to describe a topology of cloud based web services, their components, relationships, and the processes that manage them
Argos
Place
programming language
Portable Standard Lisp
Place
tail-recursive dynamically bound dialect of Lisp
LOOPS
Place
programming language
PL/Java
Place
implementation of the Java programming language for PostgreSQL database systems
Scientific Vector Language
Place
programming language
MARK IV
Place
fourth-generation programming language
Frame-based editor
Place
Impromptu
Place
Mac OS X programming environment for live coding
Web Language
Place
scripting language
ObjVProlog
Place
TACPOL
Place
block structured programming language