What powers idris-lang.org?
Last seen Jun 2026 · 19 technologies across 10 categories
Advertising
EthicalAds
since Nov 2022
Caching
Varnish
since Aug 2025
CDN
Documentation
Sphinx
since Jan 2019
Font scripts
Font Awesome
since Oct 2024
JavaScript graphics
JavaScript libraries
Underscore.js
since Jan 2019
Miscellaneous
PaaS
Amazon Web Services
since Nov 2022
GitHub Pages
since Aug 2025
Webmail
Google Workspace
since Nov 2022
Top search keywords
| Keyword | Position | Est. monthly visits |
|---|---|---|
| idris language | #1 | 73 |
| idris2 | #3 | 14 |
| what is idris | #3 | 3 |
| idris 2 | #10 | 2 |
| string::data | #94 | 1 |
| list1 | #38 | 1 |
| system::io directory | #59 | 0 |
| system concurrency | #80 | 0 |
| linear inverse | #65 | 0 |
| monad state | #39 | 0 |
| idris2 | #93 | 0 |
| idris2 | #89 | 0 |
| idris2 | #79 | 0 |
| idris 2 | #42 | 0 |
| index bits | #63 | 0 |
| data bits | #27 | 0 |
| datastring | #99 | 0 |
| data strings | #69 | 0 |
The site's top keywords in Google (US), with the visits each one is estimated to bring per month.
Top backlinks
Top links pointing at the site, one per source domain, strongest first. The anchor text opens the page carrying the link.
Open Page Rank
6.16 / 10 · ranked #99,400 of all domains
239 referring domains · OpenPageRank
Search traffic
94 est. monthly organic visits (US)
18 keywords in Google's top 30
Page
- Language: English
- CDN: Fastly
- Weight: 0.0 MB · 11 requests
Homepage as crawled by the HTTP Archive, Jul 2026.
Subdomains
| Host | Techs |
|---|---|
| docs.idris-lang.org | 15 |
| idris-lang.org | 4 |
| www.idris-lang.org | 4 |
Full technology history →
Report an incorrect detection
Recent changes
- dropped Apache HTTP Server Sep 2025
- dropped Debian Sep 2025
- detected Fastly Aug 2025
- detected GitHub Pages Aug 2025
- detected Varnish Aug 2025