Home › Browse › Formal System

Formal System

Ranked by notability · Page 27

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)
Elvish
Place
programming language and shell
Alpaca
Place
programming language
Nix
Place
domain-specific language for building and managing packages
SMT-LIB
Place
input language for SMT solvers
Turbo Pascal OOP
Thing
programming language
Candle
Place
programming language
Skribe
CreativeWork
document production tool written by Manuel Serrano for Bigloo and ported to STkLos by Érick Gallesio; started around 2003 as a successor of Scribe
Emmental
Place
programming language
Caml Light
Place
programming language
Octave
Place
high-level programming language, primarily intended for numerical computations
SKILL
Place
programming language
VScript
Place
programming languange
Programmable Command Language
Place
programming language
PL/Lua
Place
implementation of the Lua programming language for PostgreSQL database systems
ENIAC Short Code
Place
programming language
Curry notation system
Place
programming language
Sue
Place
programming language
Roc
Place
functional programming language
Boehm unnamed coding system
Place
programming language
Viola
Place
programming toolkit/language system
Yellow
Place
programming language
NPR
Place
proprietary programming language
Beef
Place
programming language
Hare
Place
programming language
PLASMA
Place
programming language and bytecode format for 6502 processors
Genus
Place
object-oriented programming language
Green
Place
programming language
Pyret
Place
education-focused programming language
F-Script
Place
object-oriented scripting programming language for Apple's macOS operating system
Overpass QL
Place
procedural, imperative language loosely based on C syntax for querying OpenStreetMap data through the Overpass API
Ada 2022
Place
2022 edition of the Ada programming language standard
MATLAB
Place
fourth-generation programming language
COMPOOL
Place
programming language
Graphics Programming Language
class
ALGAE
Place
programming language
Sequentielle Formelübersetzung
Place
programming language
IBM Advanced BASIC
Place
programming language
Text Executive Programming Language
Place
programming language for a time-sharing service
ChavaScript
Place
Hebrew programming script
DRAMA
Place
Azure Bicep
Place
domain-specific declarative language for defining Azure resources
Whirlwind assembler
Place
programming language
OMNIBAC Symbolic Assembler
Place
programming language
Publicodes
Place
Declarative language for modeling complex business domains
Overpass XML
CreativeWork
procedural, imperative XML language for querying OpenStreetMap data through the Overpass API
Con Script
Place
programming languange used by Build Engine
Azure Resource Manager
CreativeWork
domain-specific declarative language for defining Azure resources
Apex
Place
programming language
Programming Language for Distributed Systems
Place
IBM internal programming language, used to develop software for the IBM 8100
SPARQL-Generate
Place
transformation language to generate RDF
ANSI INCITS 226
Place
technical standard
Kaitai Struct
Place
declarative binary data format specification language
Mapbox Style Specification
Place
JSON-based file format that defines the content and appearance of a map
CRN++
Place
programming language
ENIAC coding system
Place
programming language
Blitz2D
Place
programming language
Chibi Scheme
CreativeWork
small embeddable Scheme implementation
SCM Script
Place
programming language
MoonScript
Place
scripting language that compiles into Lua
Dylan.NET
Place
programming language