Formal System

Ranked by notability · Page 17

1,768
Articles
11
Images
750
Websites Tracked
30
Pages

Browse by Type

Programming Language (459)
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)

Program Composition Notation
Place
programming language
Music Markup Language
Place
XML based music description language
TclX
Place
tcl extension to the Tcl programming language
CBASIC
Place
compiled version of the BASIC programming language
Jolie
Place
open-source programming language for developing distributed applications based on microservices
Proteus
Place
procedural programming language
Dependent ML
Place
experimental functional programming language
Formula language
Place
scripting language used by Lotus Notes
Sense
Place
programming
WICS
Place
high-level programming language
ObjVProlog
Place
Minimal BASIC
Place
programming language
CHAIN
Place
programming language
Mavka
Place
programming language
Arendelle
Place
programming language
JSONiq
Place
query and functional programming language
TTSneo
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
RSL
Place
Source
Place
family of JavaScript sub-languages
JavaScript for Automation
Place
Timber
Place
programming language
X-BASIC
Place
SMETANA
Place
esoteric programming language
Level I BASIC
Place
programming language
PAL
Place
object-based programming language
Categorical Programming Language
Place
programmling language
DADiSP
Place
numerical computing environment
AgentCubes
Place
educational programming language
ECL
Place
extensible high-level programming language and development environment
Beatnik
Place
esoteric programming language designed by Cliff L. Biffle
COLA
Place
programming language
Dao
Place
programming language
Lava
Place
experimental, visual object-oriented, interpreter-based programming language
Kabal
Place
programming language
MIMIC
Place
former simulation computer language
BBj
Place
programming language
Object-Oriented Turing
Place
AssemblyScript
Place
programming language, variant of TypeScript that compiles to WebAssembly
Helium
Place
dialect of Haskell
Darwin
Place
programming language
Spice
Place
programming language
SuperNova
Place
programming language
Keykit
Place
graphical environment and programming language for MIDI synthesis and algorithmic composition
SubL
Place
programming language
Dog
Place
programming language
ECL
Place
declarative, data centric programming language
MIIS
Place
programming language
Vintage BASIC
Place
BASIC programming language
ANSYS Parametric Design Language
Place
scripting language of ANSYS
Interactive C
Place
modified version of ANSI C to program small robotics platforms
Illumination Software Creator
Place
visual programming language
GScript
Place
proprietary programming language
Pan
Place
programming language
ICon-L
CreativeWork
programming language
Little Smalltalk
Place
non-standard dialect of the Smalltalk programming language
Twelf
Place
implementation of the logical framework LF
HC-BASIC
Place
BASIC interpreter from the former GDR
WLanguage
Place
fourth generation programming language