Home › Browse › Formal System

Formal System

Ranked by notability · Page 20

1,768
Articles
11
Images
750
Websites Tracked
30
Pages

Browse by Type

Programming Language (458)
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)
OBJ2
Place
programming language
MDL
Place
RascalMPL
Place
programming language
MacroML
Place
experimental programming language based on the ML programming language family
CorVision
Place
fourth generation programming tool (4GL)
Hybris
Place
programming language
Lazy K
Place
programming language
Hermes
Place
programming language
PyLinda
Place
Python implementation of Linda
Kid’s Programming Language
Place
programming language
IITRAN
Place
discontinued programming language
CLP(R)
Place
declarative programming language
Internal Translator
Place
programming language
PL/Python
Place
implementation of the Python programming language for PostgreSQL database systems
Cuis Smalltalk
Place
programming language
MUF
Place
programming language
Roy
Place
experimental programming language which compiles to JavaScript
SenseTalk
Place
scripting language derived from the HyperTalk language used in HyperCard
Pbrain
Place
Variant of the Brainfuck programming language
Spice
Place
programming language
Aleph
Place
object oriental, functional programming language
Visual T#
Place
unit test extension for Visual Studio
IBM Disk BASIC
Place
variant of Microsoft BASIC shipped with IBM PC in 1981, with support for disk drive access
PANORAMIC
Place
programming language
POW!
Place
programming language
Bogus
Place
Ruby API library
MOLOG
Place
programming language
SheerPower4GL
Place
MicroMondes
Place
programming language
The join calculus language
Place
obsolete language based on the join-calculus process calculus
FileMaker Script
Place
programming language
LOOM
Place
knowledge representation language
Jmax
CreativeWork
visual programming environment for building interactive real-time music and multimedia applications
Bidule
Place
music software
LISA
Place
language to describe the instruction set architecture of a processor
o:XML
Place
programming language based on XML-syntax
Java-Hamster-Model
Place
FOIL
Place
programming language
MUDDL
Place
domain-specific language for creation of text-based virtual worlds
Z++
Place
object-oriented extension to the Z specification language
TOMVIEW
Place
platform for solving applied optimization problems in LabVIEW
FpgaC
CreativeWork
compiler for a subset of the C programming language
Common Lisp Music
Place
Audio programming language
Behavioral Description Language
Place
programming language based on ANSI C with extensions for hardware description
Intel Concurrent Collections
Place
software frameworks to expose parallelism in applications
Joe-E
Place
subset of Java to support programming according to object-capability discipline
COFFEE
Place
computer scripting language
Mirah
Place
programming language based on Ruby language
Little Smalltalk
Place
non-standard dialect of the Smalltalk programming language
TXL
Place
programming language
ICon-L
CreativeWork
programming language
Pan
Place
programming language
Illumination Software Creator
Place
visual programming language
ANSYS Parametric Design Language
Place
scripting language of ANSYS
ECL
Place
declarative, data centric programming language
TTSneo
Place
programming language
IBM System/36 BASIC
CreativeWork
interpreter for the IBM System/36 midrange computer.
AgentSpeak
Place
agent-oriented programming language
ESRI-Avenue
Place
programming language
Ferite
Place
programming language