Home › Browse › Formal_System

Formal_System

Ranked by notability · Page 23

1,768
Articles
11
Images
1,311
Keywords Tracked
750
Websites Tracked
132,605,900
Monthly Searches
30
Pages

Browse by Type

Programming Language (489)
Scripting Language (27)
Esoteric Programming Language (12)
Object-Based Language (8)
Visual Programming Language (7)
Page Description Language (7)
Shading Language (6)
Software (6)
Audio Programming Language (6)
4th-Generation Programming Language (6)
Educational Programming Language (5)
Functional Programming Language (5)
Free Software (5)
Technical Standard (4)
Simulation Language (4)
Prodel
Place
programming language
MIMIC
Place
former simulation computer language
EventScripts
Place
plugin that provides several scripting languages to the source game engine
TI-BASIC 83
Place
calculator programming language
DARSIMCO
Place
1950s programming language for mathematical operations
LinkML
Place
flexible modeling framework that allow for working with semantic web standards alongside a modern da
XProfan
Place
programming language
Illumination Software Creator
Place
visual programming language
CorVision
Place
fourth generation programming tool (4GL)
PROSA
Place
programming language
GScript
Place
proprietary programming language
Deterministic Parallel Java
Place
extension of the Java programming language
ROOP
Place
multiparadigm programming language targeted at AI applications
ClojureScript
Place
Clojure implementation that compiles to JavaScript
TXL
Place
programming language
XML Sapiens
Place
Frame-based editor
Place
Turing+
Place
Pascal-like programming language
Ooc
Place
programming language
Mirah
Place
programming language based on Ruby language
Impromptu
Place
Mac OS X programming environment for live coding
Gallina
Place
programming language
GNU MathProg
Place
algebraic modeling language
Objlog
Place
frame-based language
Astek
Place
programming language
OTX
Place
programming language
Aleph
Place
object oriental, functional programming language
ArrowFuck
Place
Variant of the Brainfuck programming language
Sort Merge Generator
Place
programming language
Argos
Place
programming language
fasm
Place
Luna
Place
programming language
Ada 80
Place
preliminary non-standard version of the Ada programming language
Hierarchical Editing Language for Macromolecules
Place
method of describing complex biological molecules
Lite-C
Place
programming language for multimedia applications and personal computer games
SNAP
Place
education programming language from 1960s
Newspeak
Place
programming language
Oaklisp
Place
portable object-oriented Scheme
GSQL
CreativeWork
free software
ESRI-Avenue
Place
programming language
Snowball
Place
programming language
Pxem
Place
esoteric programming language
Arduino
Place
programming language
LINC 4GL
Place
programming language
Disk Extended Color BASIC
Place
CQP-kod
Place
HC-BASIC
Place
BASIC interpreter from the former GDR
*Lisp
Place
programming language
Portable Standard Lisp
Place
tail-recursive dynamically bound dialect of Lisp
ACUCOBOL
Place
dialect of the programming language COBOL
PL/8
Place
PL/I dialect developed by IBM Research, used internally to write several IBM products
SystemBuilder/SB+
Place
4GL development and runtime environment
Snostorm
Place
version of the SNOBOL4 language with structured programming constructs added
NCL
Place
programming language
RCX code programming language
Place
programming language
Trellis-Owl
Place
programming language
Family of programming languages
Place
family-like relations between different programming languages
TTM
Place
string oriented, general purpose macro processing programming language
Basic Sound Extension
Place
an extension for Sinclair Basic (for the ZX Spectrum) providing improved sound capabilities
Edison
Place