Formal System

Ranked by notability · Page 27

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)

Hare
Place
programming language
Curry notation system
Place
programming language
ODD
Place
programming language for XML schema
SCM Script
Place
programming language
Arduino programming language
Place
programming language
Dylan.NET
Place
programming language
GNU epsilon
Place
purely-functional, strongly-typed, omega-order programming language
Dodo0
Place
programming language
PL/R
Place
implementation of the R programming language for PostgreSQL database systems
SPARQL 1.1
Place
set of specifications that provide languages and protocols to query and manipulate RDF graph content on the Web or in an RDF store
Janet
Place
programming language
Gobra
Intangible
Program Verifier for the Go Programming Language
Koord
Place
programming language
Lioness
Place
programming language
Microalg
Place
Boehm unnamed coding system
Place
programming language
SPARQL-Generate
Place
transformation language to generate RDF
Austral
Place
programming language
Logica
Place
logical programming language
Yarn Spinner
Place
Programming language for writing videogame dialogue
Guix Workflow Language
Place
workflow management extension for Guix
Armada
Place
programming language
PLASMA
Place
programming language and bytecode format for 6502 processors
LSE64
Place
programming language
SQF
Place
scripting language used by Arma series of video games
Genus
Place
object-oriented programming language
PRINT
Place
programming language
Dhall
Place
configuration language
Green
Place
programming language
MoonScript
Place
scripting language that compiles into Lua
Brief Code
Place
programming language
RPG IV
Place
programming language
NARS2000
SoftwareApplication
NARS2000 APL Implementation
Croc
Place
small, lightweight, extension language in the vein of Lua or Squirrel
Jsish
Place
scripting language designed for embedded systems
Met English
Place
early computer language used by the Metropolitan Life Insurance Company (MetLife)
Imba
Place
programming language
Eta
Place
dialect of Haskell programming language
NCAR Command Language
Place
programming language for climate data
Amber
Place
programming language developed at Bell Labs
Cilk++
Place
Parallel programming language
ANSI INCITS 226
Place
technical standard
SurgeScript
CreativeWork
free game engine
Viper
Intangible
Programming Language and Verification Infrastructure
SCi Continuous System Simulation Language
Place
Otus Lisp
Place
purely functional dialect of Scheme
ZScript
Place
programming languange
Hyperscript
Place
event-driven scripting language for front end web development, inspired by HyperTalk
Loglan
Place
object-oriented programming language developed at University of Warsaw in the 1970s and 1980s
Tekkie Uni
Place
Coding for kids courses
Java 21
Place
F-Script
Place
object-oriented scripting programming language for Apple's macOS operating system
Virgil
Place
fast and lightweight systems programming language
Sequentielle Formelübersetzung
Place
programming language
Mapbox Style Specification
Place
JSON-based file format that defines the content and appearance of a map
guarded Datalog
Place
fragment of Datalog query language
Judoscript
Place
general purpose programming languages designed primarily for scripting on the Java platform
MATLAB
Place
fourth-generation programming language
COMPOOL
Place
programming language
UrduScript
Place
JavaScript ka Urdish dialect