Sockt
Start free

Technologies used by lean-lang.org

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

Captured 15 September 2026 Source: Common Crawl Majestic rank 81,854

Analytics

  • Plausible High Found in scripts First observed 15 Sep 2026 Last seen 15 Sep 2026

CDN

  • jsDelivr High Found in scripts First observed 15 Sep 2026 Last seen 15 Sep 2026

PaaS

  • Netlify High Found in HTTP headers First observed 15 Sep 2026 Last seen 15 Sep 2026

Security

  • HSTS High Found in HTTP headers First observed 15 Sep 2026 Last seen 15 Sep 2026

JavaScript libraries

  • Marked High Found in scripts First observed 15 Sep 2026 Last seen 15 Sep 2026
  • Tippy.js High Found in scripts First observed 15 Sep 2026 Last seen 15 Sep 2026

Miscellaneous

  • Open Graph High Found in page structure First observed 15 Sep 2026 Last seen 15 Sep 2026
  • Popper High Found in scripts First observed 15 Sep 2026 Last seen 15 Sep 2026

Font scripts

  • Google Font API High Found in page structure First observed 15 Sep 2026 Last seen 15 Sep 2026

JavaScript graphics

  • KaTeX High Found in scripts First observed 15 Sep 2026 Last seen 15 Sep 2026

Look up another site