[index]
title = "spec.pub"
description = '''
Redirects to specification publications.
Maintained by Martin Fischer.
Suggestions for new redirects are welcome.
Note that the redirects are lowercase (the links on this page
are capitalized for readability).
'''
[text-replacements]
":iso:" = "
"
# Foo = "http://example.com"
# means that /foo will redirect to the specified URL
# (The created redirects are always lowercase.)
# When aliases are specified they become redirects as well.
# The sections do not affect the redirects at all and
# are only used to group the links in the HTML index.
["Programming languages"]
D = "https://dlang.org/spec/spec.html"
Dart = "https://dart.dev/guides/language/spec"
ECMAScript = { url = "/es11", aliases = ["JavaScript", "js"] }
Go = "https://golang.org/ref/spec"
Haskell = { url = "https://www.haskell.org/onlinereport/haskell2010/", aliases = ["hs"] }
Java = { url = "/jls15", aliases = ["jls"] }
Kotlin = "https://kotlinlang.org/spec"
Lua = "http://www.lua.org/manual/5.4/"
PHP = "https://phplang.org/"
Python = { url = "https://docs.python.org/reference/", aliases = ["py"] }
R = "https://cran.r-project.org/doc/manuals/r-release/R-lang.html"
Rust = { url = "https://doc.rust-lang.org/stable/reference/", aliases = ["rs"] }
Zig = "https://ziglang.org/documentation/master/"
C99 = "http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf"
C11 = "http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1570.pdf"
C17 = "http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2310.pdf"
CPP11 = "http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2011/n3242.pdf"
CPP14 = "http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3797.pdf"
CPP17 = "http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/n4659.pdf"
ES6 = "https://262.ecma-international.org/6.0/"
ES7 = "https://262.ecma-international.org/7.0/"
ES8 = "https://262.ecma-international.org/8.0/"
ES9 = "https://262.ecma-international.org/9.0/"
ES10 = "https://262.ecma-international.org/10.0/"
ES11 = "https://262.ecma-international.org/11.0/"
ES12 = "https://262.ecma-international.org/12.0/"
ES13 = "https://262.ecma-international.org/13.0/"
ES14 = "https://262.ecma-international.org/14.0/"
ES15 = "https://262.ecma-international.org/15.0/"
jls6 = "https://docs.oracle.com/javase/specs/jls/se6/html/j3TOC.html"
jls7 = "https://docs.oracle.com/javase/specs/jls/se7/html/index.html"
jls8 = "https://docs.oracle.com/javase/specs/jls/se8/html/index.html"
jls9 = "https://docs.oracle.com/javase/specs/jls/se9/html/index.html"
jls10 = "https://docs.oracle.com/javase/specs/jls/se10/html/index.html"
jls11 = "https://docs.oracle.com/javase/specs/jls/se11/html/index.html"
jls12 = "https://docs.oracle.com/javase/specs/jls/se12/html/index.html"
jls13 = "https://docs.oracle.com/javase/specs/jls/se13/html/index.html"
jls14 = "https://docs.oracle.com/javase/specs/jls/se14/html/index.html"
jls15 = "https://docs.oracle.com/javase/specs/jls/se15/html/index.html"
jls16 = "https://docs.oracle.com/javase/specs/jls/se16/html/index.html"
jls17 = "https://docs.oracle.com/javase/specs/jls/se17/html/index.html"
jls18 = "https://docs.oracle.com/javase/specs/jls/se18/html/index.html"
jls19 = "https://docs.oracle.com/javase/specs/jls/se19/html/index.html"
jls20 = "https://docs.oracle.com/javase/specs/jls/se20/html/index.html"
jls21 = "https://docs.oracle.com/javase/specs/jls/se21/html/index.html"
jls22 = "https://docs.oracle.com/javase/specs/jls/se22/html/index.html"
jls23 = "https://docs.oracle.com/javase/specs/jls/se23/html/index.html"
jls24 = "https://docs.oracle.com/javase/specs/jls/se24/html/index.html"
["Internet protocols"]
IPv4 = "https://tools.ietf.org/html/rfc791"
IPv6 = "https://tools.ietf.org/html/rfc8200"
TCP = "https://tools.ietf.org/html/rfc793"
UDP = "https://tools.ietf.org/html/rfc768"
TLS = "https://tools.ietf.org/html/rfc8446"
ARP = "https://tools.ietf.org/html/rfc826"
ICMP = "https://tools.ietf.org/html/rfc792"
ICMPv6 = "https://tools.ietf.org/html/rfc4443"
DHCP = "https://tools.ietf.org/html/rfc2131"
["Application layer protocols"]
DNS = "https://tools.ietf.org/html/rfc1035"
mDNS = "https://datatracker.ietf.org/doc/html/rfc6762"
DNSSEC = "https://tools.ietf.org/html/rfc4033"
Whois = "https://tools.ietf.org/html/rfc3912"
HTTP = "/http/1.1"
"HTTP/1.0" = "https://tools.ietf.org/html/rfc1945"
"HTTP/1.1" = "https://tools.ietf.org/html/rfc2616"
"HTTP/2" = "https://tools.ietf.org/html/rfc7540"
"HSTS" = "https://tools.ietf.org/html/rfc6797"
Basic-Auth = "https://tools.ietf.org/html/rfc7617"
FTP = "https://tools.ietf.org/html/rfc959"
BitTorrent = "http://bittorrent.org/beps/bep_0003.html"
NTP = "https://tools.ietf.org/html/rfc5905"
ACME = "https://tools.ietf.org/html/rfc8555"
SMTP = "https://tools.ietf.org/html/rfc5321"
POP = "https://tools.ietf.org/html/rfc1939"
IMAP = "https://tools.ietf.org/html/rfc3501"
WebDAV = "https://tools.ietf.org/html/rfc4918"
CalDAV = "https://tools.ietf.org/html/rfc4791"
CardDAV = "https://tools.ietf.org/html/rfc6352"
IRC = "https://tools.ietf.org/html/rfc1459"
XMPP = "https://tools.ietf.org/html/rfc6120"
Matrix = "https://spec.matrix.org/latest/"
Gopher = "https://tools.ietf.org/html/rfc1436"
Gemini = "https://gemini.circumlunar.space/docs/specification.html"
# TODO: add ssh (multiple rfcs)
["Web specs"]
ARIA = "https://www.w3.org/TR/wai-aria-1.2/"
WCAG = "https://www.w3.org/TR/WCAG21/"
CSS = "https://www.w3.org/TR/CSS/"
WASM = "https://webassembly.org/specs/"
WebSocket = { url = "https://tools.ietf.org/html/rfc6455", aliases = ["ws"] }
CSP = "https://www.w3.org/TR/CSP3/"
Trusted-Types = "https://w3c.github.io/webappsec-trusted-types/dist/spec/"
".well-known" = "https://tools.ietf.org/html/rfc5785"
WebFinger = "https://tools.ietf.org/html/rfc7033"
"robots.txt" = "https://datatracker.ietf.org/doc/html/draft-koster-rep-06"
ActivityPub = "https://www.w3.org/TR/activitypub/"
Webmention = "https://www.w3.org/TR/webmention/"
OAuth = "https://tools.ietf.org/html/rfc6749"
OIDC = "https://openid.net/developers/specs/"
SAML = "https://wiki.oasis-open.org/security/FrontPage#SAML_V2.0_Standard"
PKCE = "https://datatracker.ietf.org/doc/html/rfc7636"
["Browser APIs"]
Credential-Management = "https://www.w3.org/TR/credential-management-1/"
WebAuthn = "https://www.w3.org/TR/webauthn/"
fetch = "https://fetch.spec.whatwg.org/"
["Other protocols"]
LSP = "https://microsoft.github.io/language-server-protocol/specifications/specification-current/"
Wayland = "https://wayland.freedesktop.org/docs/html/"
["File formats"]
RSS = "https://www.rssboard.org/rss-specification"
Atom = "https://tools.ietf.org/html/rfc4287"
iCal = "https://tools.ietf.org/html/rfc5545"
EPUB = "https://www.w3.org/publishing/epub3/epub-spec.html"
PostScript = "https://www.adobe.com/content/dam/acom/en/devnet/actionscript/articles/PLRM.pdf"
PDF = { status = 402, text = "The latest PDF standard is only available for purchase from ISO. :iso:" }
PNG = "https://www.w3.org/TR/PNG/"
["Markup languages"]
XML = "https://www.w3.org/TR/xml11/"
HTML = "https://html.spec.whatwg.org/multipage/"
# TODO: also redirect subpaths for html e.g. /html/parsing -> /multi-page/parsing.html
MathML = "https://www.w3.org/TR/MathML3/"
SVG = "https://www.w3.org/TR/SVG11/"
CommonMark = "https://spec.commonmark.org/"
GitHub-Flavored-Markdown = { url = "https://github.github.com/gfm/", aliases = ["GFM"] }
reStructuredText = { url = "https://docutils.sourceforge.io/docs/ref/rst/restructuredtext.html", aliases = ["RST"] }
["Serialization formats"]
JSON = "https://tools.ietf.org/html/rfc8259"
YAML = "https://yaml.org/spec/1.2/spec.html"
TOML = "https://toml.io/en/latest"
["JSON specs"]
JWT = "https://tools.ietf.org/html/rfc7519"
JWS = "https://tools.ietf.org/html/rfc7515"
JWK = "https://tools.ietf.org/html/rfc7517"
JSON-Schema = "https://json-schema.org/specification.html"
JSON-LD = "https://www.w3.org/TR/json-ld/"
["PASETO"]
PASETO = "https://github.com/paseto-standard/paseto-spec"
PASERK = "https://github.com/paseto-standard/paserk"
["Query languages"]
SQL = { status = 402, text = "The SQL standard is only available for purchase from ISO. :iso:" }
SPARQL = "https://www.w3.org/TR/sparql11-query/"
GraphQL = "https://spec.graphql.org/June2018/"
[Miscellaneous]
Unicode = "https://unicode.org/standard/standard.html"
URI = "https://tools.ietf.org/html/rfc3986"
URN = "https://tools.ietf.org/html/rfc8141"
mailto = "https://tools.ietf.org/html/rfc6068"
nix = "https://nix.dev/manual/nix/stable/language/"
Open-Graph-Protocol = { url = "https://ogp.me/", aliases = ["OGP"] }
TOTP = "https://datatracker.ietf.org/doc/html/rfc6238"
["Operating systems"]
POSIX = "https://pubs.opengroup.org/onlinepubs/9699919799/"
FHS = "https://refspecs.linuxfoundation.org/FHS_3.0/fhs-3.0.html"
LSB = "https://refspecs.linuxfoundation.org/lsb.shtml"
[RDF]
RDF = "https://www.w3.org/TR/rdf11-concepts/"
RDFa = "https://www.w3.org/TR/rdfa-primer/"
Turtle = "https://www.w3.org/TR/turtle/"
["XDG specs"]
"xdg/autostart" = "https://specifications.freedesktop.org/autostart-spec/autostart-spec-latest.html"
"xdg/basedir" = "https://specifications.freedesktop.org/basedir-spec/basedir-spec-latest.html"
"xdg/desktop-entry" = "https://specifications.freedesktop.org/desktop-entry-spec/desktop-entry-spec-latest.html"
"xdg/icon-naming" = "https://specifications.freedesktop.org/icon-naming-spec/icon-naming-spec-latest.html"
"xdg/icon-theme" = "https://specifications.freedesktop.org/icon-theme-spec/icon-theme-spec-latest.html"
"xdg/menu" = "https://specifications.freedesktop.org/menu-spec/menu-spec-latest.html"
"xdg/mime-apps" = "https://specifications.freedesktop.org/mime-apps-spec/mime-apps-spec-latest.html"
"xdg/mpris" = "https://specifications.freedesktop.org/mpris-spec/latest"
"xdg/notification" = "https://specifications.freedesktop.org/notification-spec/notification-spec-latest.html"
"xdg/recent-file" = "https://specifications.freedesktop.org/recent-file-spec/recent-file-spec-latest.html"
"xdg/secret-service" = "https://specifications.freedesktop.org/secret-service/latest/"
"xdg/shared-mime-info" = "https://specifications.freedesktop.org/shared-mime-info-spec/shared-mime-info-spec-latest.html"
"xdg/sound-naming" = "https://specifications.freedesktop.org/sound-naming-spec/sound-naming-spec-latest.html"
"xdg/sound-theme" = "https://specifications.freedesktop.org/sound-theme-spec/sound-theme-spec-latest.html"
"xdg/systemtray" = "https://specifications.freedesktop.org/systemtray-spec/systemtray-spec-latest.html"
"xdg/thumbnail" = "https://specifications.freedesktop.org/thumbnail-spec/thumbnail-spec-latest.html"
"xdg/trash" = "https://specifications.freedesktop.org/"
"xdg/wm" = "https://specifications.freedesktop.org/wm-spec/wm-spec-latest.html"
"xdg/xembed" = "https://specifications.freedesktop.org/xembed-spec/xembed-spec-latest.html"
"xdg/xsettings" = "https://specifications.freedesktop.org/xsettings-spec/xsettings-latest.html"