搜索结果：ui（75 个）

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

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

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

面向设计工程师（Design Engineer）的 UI 交互与界面设计技能合集。

现代易用的跨平台数据库 GUI 与 SQL 客户端，支持 MySQL、Postgres、ClickHouse 等。

专为 macOS 设计的代码编辑器，开源且永久免费，提升日常编码体验。

用于构建虚拟现实（VR）体验的 Web 框架。

Airframe 是一套专为 Scala 应用打造的基础组件库，解决日常开发中缺少轻量、统一工具链的问题。它提供了依赖注入与生命周期管理（DI）、JSON/MessagePack 序列化、日志工具、支持前后端同构的 RPC 框架，以及函数式测试框架 AirSpec 等核心功能。

快速且内置全部功能的单二进制文件静态网站生成器。

一款注重兼容性与高扩展性的现代富文本（WYSIWYG）Web 编辑器。

Binding.scala 是一个支持 JVM 和 Scala.js 的响应式数据绑定库。它主要解决前端与 GUI 开发中的视图与数据同步问题。核心功能是提供精确的响应式数据绑定与自动生命周期管理，无需虚拟 DOM 即可高效更新视图，同时支持静态类型检查与 HTML 字面量语法。

redis4cats 是一个 Scala 版的 Redis 客户端，基于 Cats Effect、Fs2 和 Java 异步客户端 Lettuce 构建。它解决了在函数式编程中安全、异步操作 Redis 的需求，提供纯函数式的 Effects API 与 Streams 流式处理支持，适用于生产环境。

zio-http 是基于 ZIO 和 Netty 构建的 Scala HTTP 框架，用于高效开发 Web 客户端与服务端。它将 HTTP 抽象为函数，核心特性包括：类型驱动与声明式端点设计、原生并发与错误处理、中间件、WebSocket、测试套件以及基于 ZIO Schema 的编解码。

基于 Ruby 开发、专为博客优化的静态网站生成器。

Udash 是一个基于 Scala.js 的全栈 Web 开发框架。它解决了前后端类型不统一及维护繁琐的问题。核心功能包括：响应式数据绑定、类型安全的 HTML/CSS 生成、前后端共享代码、基于 WebSocket 的双向 RPC 与 REST 通信，并提供前端路由和国际化支持。

面向创作者的 Gradio WebUI，集成主流 TTS、零样本声音克隆与人声分离等功能。

ScalaCheck 是一个专为 Scala 和 Java 程序设计的基于属性的自动化测试库。它受 QuickCheck 启发，能自动生成大量测试数据来验证代码属性是否始终成立，免去手写个别用例的繁琐。它零外部依赖，自带测试运行器，并深度集成了 SBT、ScalaTest 和 specs2。

scala-scraper 是一个用于抓取和解析 HTML 网页的 Scala 库。它支持通过 Jsoup 等浏览器后端加载网络请求或本地 HTML 文件，并提供了强大的 DSL 语法（如 `>>` 提取操作符与 CSS 查询选择器），帮助开发者快速、优雅地提取并验证页面内容。

支持 Java 8+ Jar 和 Android APK 的逆向工程套件，集反编译器、编辑器与调试器等功能于一身。

GeoMesa 是一个分布式大规模地理空间数据处理套件。它解决了海量时空数据的存储、查询与实时分析难题。核心功能包括在 HBase、Cassandra 等分布式数据库上构建时空索引，结合 Kafka 实现流式空间数据处理，并支持 Spark 分布式分析与 GeoServer（WFS/WMS）地图集成。