Sockt
Start free

Technologies used by idris-lang.org

Sockt found 6 technologies on idris-lang.org. Each one shows how it was found and the dates we first and last saw it.

Captured 14 September 2026 Source: Common Crawl Majestic rank 221,273

CDN

  • Fastly High Found in HTTP headers First observed 14 Sep 2026 Last seen 14 Sep 2026

PaaS

  • GitHub Pages High Found in HTTP headers First observed 14 Sep 2026 Last seen 14 Sep 2026

Caching

  • Varnish High Found in HTTP headers First observed 14 Sep 2026 Last seen 14 Sep 2026

Miscellaneous

  • RSS High Found in page structure First observed 14 Sep 2026 Last seen 14 Sep 2026

Programming languages

  • Python High Found in page HTML First observed 14 Sep 2026 Last seen 14 Sep 2026

Static site generator

  • Pelican High Found in page HTML First observed 14 Sep 2026 Last seen 14 Sep 2026

Look up another site