Formal System
Ranked by notability · Page 23
1,768
Articles
11
Images
750
Websites Tracked
30
Pages
Browse by Type
Programming Language (459)
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)
Educational Programming Language (5)
Shading Language (5)
Free Software (5)
Technical Standard (4)
High-Level Programming Language (4)
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)
Educational Programming Language (5)
Shading Language (5)
Free Software (5)
Technical Standard (4)
High-Level Programming Language (4)
Synergy DBL
Place
imperative programming language
EFL
Place
programming language
TACPOL
Place
block structured programming language
Object-Oriented Turing
Place
Cryptol
Place
domain specific programming language for cryptography
ObjVProlog
Place
MIIS
Place
programming language
Level I BASIC
Place
programming language
Interactive C
Place
modified version of ANSI C to program small robotics platforms
Twelf
Place
implementation of the logical framework LF
HC-BASIC
Place
BASIC interpreter from the former GDR
Turing+
Place
Pascal-like programming language
ECL
Place
extensible high-level programming language and development environment
Dexterity
Place
proprietary programming language and technology
LOOPS
Place
programming language
LEAP
Place
extension to the ALGOL 60 programming language
Spice
Place
programming language
BASIC 8
Place
extension of Commodore's BASIC 7.0 for the C128 home/personal computer
PACT
Place
series of compilers
MIMIC
Place
former simulation computer language
Aleph
Place
object oriental, functional programming language
Cybil
Place
Pascal-like programming language
EventScripts
Place
plugin that provides several scripting languages to the source game engine
FLACC
Place
implementation of the ALGOL 68 programming language
ClojureScript
Place
Clojure implementation that compiles to JavaScript
CEEMAC
Place
programming language for the Apple II family of computers
JR-BASIC
Place
dialect of the BASIC programming language
ZhPy
Place
programming language
PANORAMIC
Place
programming language
POP-11
Place
reflective, incrementally compiled programming language
SA-C
Place
member of the C programming language family
Golo
Place
Golo Programming Language
Alusus
Place
programming language
SuperPascal
Place
imperative, concurrent computing programming language
Colony Framework
Place
open source plugin framework specification
Ada 83
Place
programming language
///
Place
programming language
Pure
Place
functional programming language
SL5
Place
programming language
POW!
Place
programming language
Ada 2012
Place
2012 edition of the Ada programming language standard
SP/k
Place
programming language developed circa 1974 as a subset of the PL/I
Teml
Place
Macro language
ObjectStar
Place
programming language
Bogus
Place
Ruby API library
Nushell
CreativeWork
shell with a focus on operating on structured data in the command line
CUPL
Place
Hardware description language
EX-BASIC
Place
Sinclair BASIC extension for the Sinclair ZX Spectrum Computer
ArmScript
Place
programming language
MOLOG
Place
programming language
HyperFun
Place
simple modelling language intended for describing geometric objects
Gallina
Place
programming language
SQLPL
Place
SQL language structure
Guppy
Place
quantum programming language
Sigma
Place
programming language
SheerPower4GL
Place
Internal Translator
Place
programming language
DIV Games Studio
Place
programming language
Net.Data
Place
programming language by IBM used largely for database-backed web applications
PyLinda
Place
Python implementation of Linda