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 (482)
Scripting Language (27)
Esoteric Programming Language (12)
Page Description Language (7)
Object-Based Language (7)
Visual Programming Language (7)
Shading Language (6)
Audio Programming Language (6)
Software (6)
4th-Generation Programming Language (6)
Educational Programming Language (5)
Functional Programming Language (5)
Free Software (5)
Technical Standard (4)
Domain-Specific Language (4)
Gobstones
SoftwareApplication
programming language
Polymorphic Programming Language
Place
interactive, extensible programming language type
Advanced Business Application Language
Place
programming language
chomski
Place
command line computer language
PROGRES
Place
programming language
Grap
Place
programming language
AMBIT
Place
historical programming language for symbolic computation
EXEL
Place
programming language
FileMaker Script
Place
programming language
BANCStar programming language
Place
specialist computer programming language for financial applications
RSL
Place
FLOW
Place
education programming language from 1970
PPL
Place
programming language
JoCaml
Place
experimental functional programming language derived from OCaml
TOMVIEW
Place
platform for solving applied optimization problems in LabVIEW
SICStus Prolog
SoftwareApplication
prolog implementation
EFL
Place
programming language
BBj
Place
programming language
Zimbu
Place
programming language
Bidule
Place
music software
MIMIC
Place
former simulation computer language
AgentCubes
Place
educational programming language
PATH
Place
esoteric programming language
PROMAL
Place
structured programming language from Systems Management Associates
Atom
Place
Programming language
BCY
Place
programming language
Toi
Place
imperative programming language
KEMURI
Place
esoteric programming language
FX-87
Place
polymorphic typed functional language
Golo
Place
Golo Programming Language
Level I BASIC
Place
programming language
CSS preprocessor
Place
computer tool (or program) for dynamically generating CSS files
OptimJ
Place
extension of the Java programming language
Business Intelligence Markup Language
Place
domain-specific XML dialect for defining business intelligence (BI) assets
Kyma
Place
visual programming language for sound design
LOOM
Place
knowledge representation language
NESL
Place
parallel programming language
NEWP
Place
high-level programming language
Interactive C
Place
modified version of ANSI C to program small robotics platforms
Emerald
Place
programming language
M language
Place
Programming language used by the DGFiP to calculate income tax
Flow Java
Place
extension of Java to add declarative concurrency
ObjectLOGO
Place
Logo with object-oriented programming extensions and lexical scoping
OpenGL ES Shading Language
Place
shading language
Basic4GL
Place
interpreted, open source version of the BASIC programming language
Extempore
Place
real-time audiovisual software
Scientific Vector Language
Place
programming language
IBM System/36 BASIC
CreativeWork
interpreter for the IBM System/36 midrange computer.
AgentSpeak
Place
agent-oriented 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
GScript
Place
proprietary programming language
ROOP
Place
multiparadigm programming language targeted at AI applications
Ooc
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