搜索结果：ui（104 个）

Apache Pekko 是基于 Actor 模型的开源框架（源自 Akka 2.6.x 分支），旨在解决 Java/Scala 开发者构建高并发、分布式及弹性消息驱动应用的复杂难题。其核心通过高级并发抽象，提供持久化、流处理（Streams）和 HTTP 等配套库，支持构建高可用的分布式系统。

使用 Go 语言编写的 AUR 助手工具。

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

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

分布式爬虫管理平台，支持任意编程语言和爬虫框架，便于集中管理与调度任务。

阿里经实战检验的混合架构代码评审工具，结合确定性流程与 LLM Agent 行级审查。

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

quiver-dart 是 Dart 的实用工具库集合，旨在弥补官方标准库的不足。它提供了异步扩展（如倒计时、节拍器、流路由）、多类型缓存系统、参数与状态断言校验，以及高级集合类（如双向映射 BiMap、LruMap、Multimap 和平衡二叉树 TreeSet）等功能，让日常开发更便捷。

基于 LLM 的知识库问答平台，提供数据处理、RAG 检索及可视化 AI 工作流编排。

用于解析、构建、编辑和分析 Markdown 文档的 Swift 宏包。

面向 AI Agent 的快速自动化浏览器，零配置且可在不打扰用户的前提下共享登录态。

用于构建、部署和监控 AI Agent 与工作流的协作工作区平台。

LiquidHaskell 是面向 Haskell 的形式化验证工具。它通过引入细化类型（Refinement Types）并结合 Z3 等 SMT 求解器，帮助开发者对代码逻辑进行严格的形式化验证。它可以作为 GHC 插件直接运行，从而在编译期检查程序性质并发现潜在错误。

面向 MCP 和 CLI 的本地优先代码智能图谱，构建持久化代码地图以缩减 AI 编码工具上下文。

distributed-process 是 Cloud Haskell 的核心库实现，旨在帮助 Haskell 开发者构建分布式系统。它提供了类似 Erlang 的进程并发、客户端/服务端模式、监督树和有限状态机等组件，并包含基于 TCP、QUIC、内存等底层网络传输库，用以简化分布式节点间的通信与协作。

强大的 AI Agent 与工作流构建及部署工具。

基于 Ruby、Rake 和 SSH 构建的自动化部署工具。

Agent 控制底座，支持部署多智能体集群、协调自主工作流并构建对话式 AI 系统。

Seedance 2.0 高保真 Prompt 与 AI 资源合集，涵盖影视、动漫及社媒广告等场景。

灵感源自 Make 的跨平台快速构建工具，专为现代工作流打造。