Home › Browse › Formal System

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)
Educational Programming Language (5)
Shading 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
DatalogZ
Place
extension of Datalog with integer arithmetic and comparisons
ObjVProlog
Place
Minimal BASIC
Place
programming language
Mavka
Place
programming language
TTSneo
Place
programming language
Arendelle
Place
programming language
JSONiq
Place
query and functional 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
Timber
Place
programming language
JavaScript for Automation
Place
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
COLA
Place
programming language
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
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
Helium
Place
dialect of Haskell
AssemblyScript
Place
programming language, variant of TypeScript that compiles to WebAssembly
Darwin
Place
programming language
Spice
Place
programming language
SuperNova
Place
programming language
SubL
Place
programming language
Keykit
Place
graphical environment and programming language for MIDI synthesis and algorithmic composition
Dog
Place
programming language
ECL
Place
declarative, data centric programming language
Vintage BASIC
Place
BASIC programming language
MIIS
Place
programming language
ANSYS Parametric Design Language
Place
scripting language of ANSYS
Illumination Software Creator
Place
visual programming language
Interactive C
Place
modified version of ANSI C to program small robotics platforms
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
WLanguage
Place
fourth generation programming language
Twelf
Place
implementation of the logical framework LF
HC-BASIC
Place
BASIC interpreter from the former GDR
Pixie
Place
programming language
COFFEE
Place
computer scripting language