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 (473)
Scripting Language (26)
Esoteric Programming Language (12)
Visual Programming Language (7)
Page Description Language (7)
Object-Based Language (7)
Software (6)
Shading Language (6)
Audio Programming Language (6)
4th-Generation Programming Language (6)
Functional Programming Language (5)
Educational Programming Language (5)
Free Software (5)
Technical Standard (4)
Domain-Specific Language (4)
GNU E
Place
extension of C++ designed for writing software systems to support persistent applications
Liquidsoap
CreativeWork
language for describing audio and video streams
Halide
Place
programming language
Music Markup Language
Place
XML based music description language
Formula language
Place
scripting language used by Lotus Notes
Impulse C
Place
subset of the C programming language combined with a C-compatible function library supporting parall
Frenetic
Place
programming language
NS Basic
Place
family of development tools for the mobile devices developed and commercially marketed by NS
COMPACT II
Place
ChatScript
Place
Full BASIC
Place
Programming language dialect; international standard
Bogus
Place
Ruby API library
Cybil
Place
Pascal-like programming language
MST Workshop
Place
interactive computer programming language
IBM System/36 BASIC
CreativeWork
interpreter for the IBM System/36 midrange computer.
Céu
Place
synchronous programming language for reactive programming
AgentSpeak
Place
agent-oriented programming language
Frink
Place
programming language
Brutus2D
Place
game programming language
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
urbiscript
Place
programming language for robotics
ICon-L
CreativeWork
programming language
Cryptol
Place
domain specific programming language for cryptography
JSX
Place
statically-typed, object-oriented programming language developed by DeNA
GScript
Place
proprietary programming language
ROOP
Place
multiparadigm programming language targeted at AI applications
FOIL
Place
programming language
Ooc
Place
programming language
Snek
Place
interpreted programming language
KS programming
Place
programming language
GNU MathProg
Place
algebraic modeling language
Objlog
Place
frame-based language
OTX
Place
programming language
ArrowFuck
Place
Variant of the Brainfuck programming language
Sort Merge Generator
Place
programming language
///
Place
programming language
Profile Scripting Language
Place
programming language
Sleep
Place
programming language
Mulan
Place
programming language
ReScript
Place
Programming language that compiles to JavaScript
Hierarchical Editing Language for Macromolecules
Place
method of describing complex biological molecules
Ada 83
Place
programming language
SNAP
Place
education programming language from 1960s
NQP
Place
programming language
CSMP III
Place
early scientific computer software
Oaklisp
Place
portable object-oriented Scheme
PANORAMIC
Place
programming language
Pxem
Place
esoteric programming language
Disk Extended Color BASIC
Place
HP-GL
Place
printer control language created by Hewlett-Packard (HP)
GEORGE
Place
programming language
ACUCOBOL
Place
dialect of the programming language COBOL
Table Producing Language
SoftwareApplication
Honeywell ARGUS
Place
low-level computer programming language
Snostorm
Place
version of the SNOBOL4 language with structured programming constructs added
Cuis Smalltalk
Place
programming language
Kalimat
Place
programming language
SuperTalk
Place
scripting programming language