Home › Browse › Formal_System

Formal_System

Ranked by notability · Page 26

1,768
Articles
11
Images
750
Websites Tracked
30
Pages

Browse by Type

Programming Language (483)
Scripting Language (27)
Esoteric Programming Language (12)
Visual Programming Language (7)
Object-Based Language (7)
Page Description Language (7)
Software (6)
Shading Language (6)
Audio Programming Language (6)
4th-Generation Programming Language (6)
Educational Programming Language (5)
Functional Programming Language (5)
Free Software (5)
Technical Standard (4)
Domain-Specific Language (4)
Chaos
Place
programming language
Gobra
Intangible
Program Verifier for the Go Programming Language
CLtL2
Place
standard of common lisp, as described by the book Common Lisp, the Language, Vol. 2
Zen Script
Place
programming languange
Cub
Place
programming language
Kaitai Struct
Place
declarative binary data format specification language
Otus Lisp
Place
purely functional dialect of Scheme
ZetaSQL
Place
programming language dialect of SQL
Klammerausdrücke
Place
programming language
Zoomscript
Intangible
programming languange
Birkbeck Assembler
Place
programming language
Lucee
Place
dynamically-typed scripting language for the Java virtual machine (JVM)
dzaima APL
Place
an implementation of APL in Java
ChinesePython
Place
programming language
AmiBlitz
Place
open source programming language for Amiga
ElGolog
Place
programming language
Nock
Place
programming language
READ/PRINT
Place
programming language
MATRIX MATH
Place
programming language
Mapbox Style Specification
Place
JSON-based file format that defines the content and appearance of a map
Glass
Place
esoteric programming language
PL/R
Place
implementation of the R programming language for PostgreSQL database systems
ART
CreativeWork
LISP-based knowledge engineering language designed to be an integrated toolkit for building knowledg
Viper
Intangible
Programming Language and Verification Infrastructure
COMPOOL
Place
programming language
Analytical Engine order code
Place
programming language
PL/Lua
Place
implementation of the Lua programming language for PostgreSQL database systems
Cilk++
Place
Parallel programming language
Karel++
Place
programming language
Simple Object Language
Place
programming language
Mosel language
Place
algebraic modeling language
NARS2000
SoftwareApplication
NARS2000 APL Implementation
OMNIBAC Symbolic Assembler
Place
programming language
UNICODE
Place
programming language
BQN
Place
array-oriented programming language
Turbo Pascal OOP
Thing
programming language
Programmable Command Language
Place
programming language
Curry notation system
Place
programming language
Overpass XML
CreativeWork
procedural, imperative XML language for querying OpenStreetMap data through the Overpass API
Orca
Place
programming language designed for live coding
ANSI INCITS 226
Place
technical standard
Jsish
Place
scripting language designed for embedded systems
Caml Light
Place
programming language
MoonScript
Place
scripting language that compiles into Lua
Chibi Scheme
CreativeWork
small embeddable Scheme implementation
LSE64
Place
programming language
Brief Code
Place
programming language
Pyret
Place
education-focused programming language
Fremio
Place
Personalized online photobox web application
Zedra
Place
Overpass QL
Place
procedural, imperative language loosely based on C syntax for querying OpenStreetMap data through th
Sequentielle Formelübersetzung
Place
programming language
Amber
Place
programming language developed at Bell Labs
linear Datalog
Place
fragment of Datalog query
Koord
Place
programming language
Amazon Shading Language
Place
NESFab
Place
programming language for creating NES games
Myrddin
Place
programming language
Unilang
Place
computer program language
BlitzPlus
Place
programming language