hott-uf.github.io

Backlink analytics and domain authority

Backlinks
All Dofollow Nofollow UGC DR ▾ Ref. domains ▾
+ Add filter
14 backlinks All New Lost
Referring page DR Ref. domains Linked domains Anchor and target URL
Dominik Kirst
https://www.ps.uni-saarland.de/~kirst
ps.uni-saarland.de
16 26 127
Workshop on Homotopy Type Theory / Univalent Foundations
https://hott-uf.github.io/2021
DOFOLLOW
Sitemap - Axel Ljungström
https://aljungstrom.github.io/sitemap
aljungstrom.github.io
0 13
Slides
https://hott-uf.github.io/2024/slides/Ljungstrom2.pdf
DOFOLLOW
Sitemap - Axel Ljungström
https://aljungstrom.github.io/sitemap
aljungstrom.github.io
0 13
Slides
https://hott-uf.github.io/2024/slides/Ljungstrom1.pdf
DOFOLLOW
Sitemap - Axel Ljungström
https://aljungstrom.github.io/sitemap
aljungstrom.github.io
0 13
Slides
https://hott-uf.github.io/2025/slides/Ljungstr%C3%B6m.pdf
DOFOLLOW
Distributive Laws of Monadic Containers
https://drops.dagstuhl.de/storage/00lipics/lipics-vol342-calco2025/html/LIPIcs.CALCO.2025.4/LIPIcs.CALCO.2025.4.html
drops.dagstuhl.de
77 388 1,743
https://hott-uf.github.io/2024/abstracts/HoTTUF_2024_paper_10.pdf
https://hott-uf.github.io/2024/abstracts/HoTTUF_2024_paper_10.pdf
DOFOLLOW
Todd Waugh Ambridge
https://toddwaughambridge.co.uk/
toddwaughambridge.co.uk
10 1 24
x
https://hott-uf.github.io/2020/HoTTUF_2020_paper_17.pdf
DOFOLLOW
Todd Waugh Ambridge
https://toddwaughambridge.co.uk/
toddwaughambridge.co.uk
10 1 24
HoTT/UF 2020
https://hott-uf.github.io/2020
DOFOLLOW
HoTT/UF 2026: Call for contributions - Announcements - Rocq Prover
https://discourse.rocq-prover.org/t/hott-uf-2026-call-for-contributions/2916
discourse.rocq-prover.org
51 2 3
https://hott-uf.github.io/2026/
https://hott-uf.github.io/2026
NOFOLLOW
HoTT/UF 2026: Call for contributions - Announcements - Rocq Prover
https://discourse.rocq-prover.org/t/hott-uf-2026-call-for-contributions/2916
discourse.rocq-prover.org
51 2 3
https://hott-uf.github.io/2026/
https://hott-uf.github.io/2026
NOFOLLOW
assorted reading lists · GitHub
https://gist.github.com/chrisdone/70ca698f29c7c75f50ab260e3ddc4f33
gist.github.com
85 8,714 244
Workshop on Homotopy Type Theory/ Univalent Foundations
https://hott-uf.github.io/2017
NOFOLLOW
Evan Cavallo
https://ecavallo.net/
ecavallo.net
0 33
HoTT/UF 2025
https://hott-uf.github.io/2025
DOFOLLOW
Loïc Pujet
https://pujet.fr/
pujet.fr
19 2 10
HoTT/UF 2026
https://hott-uf.github.io/2026
DOFOLLOW
Cellular Homology and the Cellular Approximation Theorem - Axel Ljungström
https://aljungstrom.github.io/talks/UF24-Cellular
aljungstrom.github.io
0 13
Slides
https://hott-uf.github.io/2024/slides/Ljungstrom1.pdf
DOFOLLOW
Vojtěch Štěpančík
https://vojtechstep.eu/
vojtechstep.eu
0 30
Workshop website
https://hott-uf.github.io/2025
DOFOLLOW
Frequently Asked Questions
How many backlinks does hott-uf.github.io have?
The backlinks page for hott-uf.github.io shows all individual inbound links discovered in our crawl of the web. Each backlink represents a hyperlink on another website that points to a page on hott-uf.github.io. Use the filters to narrow results by dofollow/nofollow status, domain rating, or anchor text.
What is a backlink?
A backlink is a hyperlink on one website that points to a page on a different website. Backlinks are one of the most important ranking factors in search engine algorithms because they act as votes of confidence from other sites. The more high-quality backlinks a domain has, the more authority search engines assign to it.
Are the backlinks to hott-uf.github.io dofollow or nofollow?
Backlinks to hott-uf.github.io include both dofollow and nofollow links. Dofollow links pass link equity (ranking power) to the target site, while nofollow links include a rel="nofollow" attribute that tells search engines not to pass authority. Both types contribute to a natural backlink profile, but dofollow links carry more SEO weight. You can filter by link type using the rel filter above the table.
How often is backlink data updated?
Backlink data is updated monthly when our web crawler completes a new cycle. Our pipeline processes billions of web pages to discover new backlinks, track lost links, and update domain authority scores. The freshness of data depends on when our crawler last visited the referring pages.