实时分析和 CDN 平台。实时分析您的网络和服务器流量模式。
CrUX 是一个数据收集系统，用于收集有关真实用户如何与网站互动的信息。该网站包含在从 Google Chrome 收集的用户体验数据中，因此被认为在互联网上相当受欢迎。
CrUX 数据集内网站受欢迎程度的相对衡量标准，以原点的总导航次数来衡量。此网站位列前 1000 万。
该网站包含允许页面支持IPhone/移动内容的代码。
此页面使用视口元标记，这意味着内容可能针对移动内容进行了优化。
HTML5 IE 启用脚本垫片。
JQuery 是一个快速、简洁的 JavaScript 库，它简化了您遍历 HTML 文档、处理事件、执行动画以及向网页添加 Ajax 交互的方式。jQuery 旨在改变您编写 JavaScript 的方式。
该网站以某种形式提及了 github.com。
该网站链接或重定向至 GitHub 页面网站。
该网站以某种形式提及了 twitter.com。
该网站默认将流量重定向到 HTTPS/SSL 版本。
Let's Encrypt 是一个免费的开放证书颁发机构。
托管在 Fastly 的负载平衡系统上。
在 Fastly 上托管
自 1996 年 4 月以来，Apache 一直是互联网上最受欢迎的 Web 服务器。
Apache 版本 2.4.*
Varnish 是一个网络加速器/反向代理缓存服务器。
Debian 是适用于您的计算机的免费操作系统 (OS)。
该网站具有 IPv6 记录。
该网站托管在 Github 基础设施上。
Atom Syndication Format 是一种用于网络供稿的 XML 语言，与 RSS 非常相似。
上次检测到的技术 2025年10月21日. 我们知道 21 现场技术 idris-lang.org 以及可能追溯到 1985 年的历史技术。 链接到此页面
查看详细资料 idris-lang.org. 显示技术流失、子域名和更多数据.
利用我们有限的时间 万圣节特卖 在高级.
添加 BuiltWith 到 免费！轻松快速地进行查找。
在以下情况下收到通知 idris-lang.org 增加了新技术。