搜索结果：at（3517 个）

Gatling 是一个现代化的开源“测试即代码”负载压测工具。它基于 Netty 非阻塞引擎，以轻量化设计实现高并发压测，无需堆叠大量机器。开发者可用 Java、TS、JS、Kotlin 或 Scala 编写脚本，无缝接入 CI 并在性能衰退时阻断构建，自动生成包含响应时间和吞吐量的详细 HTML 报告。

支持大数据 Upsert、Delete 及增量处理的数据湖框架。

在 macOS 菜单栏中快速查看和加入会议的小工具。

功能强大的 macOS 菜单栏自定义工具。

支持会议与直播的实时字幕、同传及 AI 纪要工具，跨全平台开源。

Spline 是一个基于 Scala 开发的数据血缘追踪与可视化方案。它主要解决大数据处理流程中数据来源与流向不透明的问题，支持 Apache Spark 等框架。核心功能包括自动化捕获作业血缘、通过 REST/Kafka 接口传输并存储血缘数据，以及提供直观的可视化界面。

借助编程 Agent 的前端能力在 Web 上生成精美演示文稿（幻灯片）的工具。

受 Elm 启发的 Rust 跨平台 GUI 库。

支持端到端加密的安全全能云存储平台。

功能强大、实用且极速的 Rust Web 框架。

阿里云开源的通义千问（Qwen）预训练与对话大语言模型官方代码仓库。

开源免费的行情平台，可追踪实时价格、设置个性化提醒并查看公司深入分析。

NVIDIA 开源的大规模 Transformer 语言模型分布式训练研究项目。

精选软件架构学习与实践资源清单，涵盖文章、视频、设计模式与原则。

现代化 JavaScript 工具库，体积较 lodash 缩小多达 97%，执行速度提升 2 至 3 倍。

注重性能、界面美观的无损 GPU 加速 RAW 图像编辑器。

开源可部署的启动套件，用于构建由 AI 角色居住、聊天和社交的虚拟小镇。

Apalache 是面向 TLA+ 和 Quint 的符号模型检查器，基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。

Apache Texera 是一款面向人机协同数据科学的可视化工作流平台，解决复杂数据分析门槛高及协作难的问题。它通过直观 GUI 让用户构建分析流程，并结合能理解自然语言的 AI Agent 辅助任务。核心功能包括工作流实时协作编辑、运行时调试、多语言原生支持（Python/Java）以及支持云端扩展的并行大数据处理引擎。

功能丰富的现代化电子书阅读器，支持跨平台与直观的阅读体验。