Home › Browse › Formal_System

Formal_System

Ranked by notability · Page 21

1,768
Articles
11
Images
750
Websites Tracked
30
Pages

Browse by Type

Programming Language (469)
Scripting Language (25)
Esoteric Programming Language (12)
Visual Programming Language (7)
Object-Based Language (7)
Software (6)
Audio Programming Language (6)
Shading Language (6)
Page Description Language (6)
4th-Generation Programming Language (6)
Functional Programming Language (5)
Educational Programming Language (5)
Free Software (5)
Technical Standard (4)
Procedural Programming Language (4)
DADiSP
Place
numerical computing environment
AgentCubes
Place
educational programming language
ECL
Place
extensible high-level programming language and development environment
Object-Oriented Turing
Place
URQ
Place
programming language
Jeem
Place
programming language
Guarded Horn Clauses
Place
programming language
Micro Lua DS
Place
programming language
Interactive C
Place
modified version of ANSI C to program small robotics platforms
Robotc
Place
programming language based on C
CUPL
Place
Hardware description language
Java-Hamster-Model
Place
Scalable Application Language
Place
Programming language
XcalableMP
Place
directive-based language extension
Twelf
Place
implementation of the logical framework LF
Dog
Place
programming language
SuperNova
Place
programming language
Helium
Place
dialect of Haskell
Kabal
Place
programming language
Lava
Place
experimental, visual object-oriented, interpreter-based programming language
Kara
CreativeWork
Converge
Place
programming language
Oolong
Place
programming language
Dao
Place
programming language
COLA
Place
programming language
Pixie
Place
programming language
PAL
Place
object-based programming language
SMETANA
Place
esoteric programming language
Spice
Place
programming language
Timber
Place
programming language
Katahdin
Place
programming language
Mavka
Place
programming language
CHAIN
Place
programming language
Cel
Place
prototypenbasierte, objektorientierte Sprache
Avenue
Place
scripting language
Potion
Place
programming language
Shen
Place
programming language
JaM
Place
interpreted graphic language
Tiny
Place
programming language
PACT
Place
series of compilers
ICI
Place
programming language
Kaya
Place
programming language
FLACC
Place
implementation of the ALGOL 68 programming language
minus
Place
esoteric programming language
SA-C
Place
member of the C programming language family
Logic Basic
Place
programming language
Phoenix Object Basic
CreativeWork
Object-oriented programming language
Loglan 82
Place
object-oriented programming language developed at University of Warsaw
SuperPascal
Place
imperative, concurrent computing programming language
Pure
Place
functional programming language
Bla
Place
programming language
Wren
Place
programming language
SP/k
Place
programming language developed circa 1974 as a subset of the PL/I
Bogus
Place
Ruby API library
Guppy
Place
quantum programming language
OptimJ
Place
extension of the Java programming language
LOOM
Place
knowledge representation language
Alphard
Place
Pascal-like programming language for data abstraction and verification
Relevance Language
Place
Alpha
Place
database language proposed by Edgar F. Codd