搜索结果：ui（1065 个）

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

用于构建终端用户界面（TUI）的轻量级开发库。

用于构建文档编辑器和阅读器的 Flutter 工具包。

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

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

主打快速开发与高效运行的 Python Web 应用框架。

功能完善的 Flutter 版 GitHub 客户端，适合跨平台开发学习与日常使用。

开源 Mac 清理、优化与恶意软件扫描工具，基于 Swift 6 和 SwiftUI 构建，获 Apple 公证。

支持现代浏览器与触控设备的拖拽排序列表库，无需 jQuery 或任何框架依赖。

构建可交付生产级用户的高可用 LLM 软件的设计原则与规范指南。

使用 Rust 构建高性能 Web 应用的框架。

开源且注重隐私的 Google Analytics 替代品，界面更加直观易用。

专为大规模及流式数据集打造的高性能数据可视化与交互分析组件。

构建高容错、跨平台企业级 AI Agent 的 JVM 框架。

〔中文简介暂未生成〕 Bloop is a build server and CLI tool to compile, test and run Scala fast from any editor or build tool.

适用于 Vue 的新一代丰富 UI 组件库。

基于 JVM 的深度学习训练与部署工具套件，支持导入 Keras、TensorFlow、ONNX/PyTorch 等模型。

开源美观的 Web 端 JSON 浏览器，支持快速浏览、搜索和导航 JSON 文件。

适用于微服务场景的可靠分布式配置管理系统。

免费开源的 Vue.js 与 Tailwind CSS 后台管理模板，提供丰富组件，适合数据驱动型项目。