Home › Browse › Formal System

Formal System

Ranked by notability · Page 19

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)
wollok
Thing
Educative programming language
Scalable Application Language
Place
Programming language
KuMir
SoftwareApplication
educational integrated development environment
BBj
Place
programming language
Bon
Place
programming language
Object-Oriented Turing
Place
Generalized Automation Language
Place
programming language for MVS based systems
Vintage BASIC
Place
BASIC programming language
Ada 95
Place
programming language version
Darwin
Place
programming language
Spice
Place
programming language
RPG Code
Place
programming language
WLanguage
Place
fourth generation programming language
MIXAL
Place
assembly language
MIIS
Place
programming language
PTQL
Place
language based on relational queries over program traces
Deterministic Parallel Java
Place
extension of the Java programming language
Interactive C
Place
modified version of ANSI C to program small robotics platforms
Procyon
Place
programming language
Relevance Language
Place
Realtime Programming Language
Place
compiled database programming language
Twelf
Place
implementation of the logical framework LF
HC-BASIC
Place
BASIC interpreter from the former GDR
Sleep
Place
programming language
FP84
Place
programming language to support the function-level paradigm
Turing+
Place
Pascal-like programming language
Flex
Place
1960s programming language
Jeem
Place
programming language
Simple Yet Powerful Scripting Language
Place
programming language
HQ9++
Place
esoteric programming language by David Morgan-Mar
Dexterity
Place
proprietary programming language and technology
Extended Syntax of Sinclair BASIC
Place
programming language
Simul
Place
econometric tool for the multidimensional (multi-sectoral and multi-regional) modelling
Algek
Place
programming language
Janus
Place
programming language
TJS2
Place
programming language
LEAP
Place
extension to the ALGOL 60 programming language
Scol
Place
programming language
BASIC 8
Place
extension of Commodore's BASIC 7.0 for the C128 home/personal computer
Dependency Constraint Language
Place
Language that makes it possible to locate implementation decisions in the source code of a software
COMPACT II
Place
PACT
Place
series of compilers
Aleph
Place
object oriental, functional programming language
Gallina
Place
programming language
SQLPL
Place
SQL language structure
Jesta
Place
programming language
URQ
Place
programming language
KL0
Place
sequential logic programming language based on Prolog
FLACC
Place
implementation of the ALGOL 68 programming language
Visual T#
Place
unit test extension for Visual Studio
Flow Java
Place
extension of Java to add declarative concurrency
Universal Test Specification Language
Place
programming language
CEEMAC
Place
programming language for the Apple II family of computers
IBM Disk BASIC
Place
variant of Microsoft BASIC shipped with IBM PC in 1981, with support for disk drive access
JR-BASIC
Place
dialect of the BASIC programming language
PANORAMIC
Place
programming language
POP-11
Place
reflective, incrementally compiled programming language
SA-C
Place
member of the C programming language family
Atom
Place
Programming language
Topology and Orchestration Specification for Cloud Applications
Place
OASIS standard language to describe a topology of cloud based web services, their components, relationships, and the processes that manage them