搜索结果：ui（100 个）

融合 Dockerfile 与 Makefile 语法的构建框架，支持快速、可重复构建。

以代码优先的开源编排平台，支持自托管。可构建工作流、内部应用与 AI Agent，是 Retool 与 n8n 的高性能替代方案。

运行在终端里的现代化 API 客户端。

面向 API 的开源低代码协作平台，提供类似 Airtable 的多维表格体验。

开源的 Zapier 替代方案，无需高昂成本即可快速构建工作流自动化。

可将现实世界任意地点高精度还原并生成到 Minecraft 中的工具。

Copilot 是一个基于 Haskell 的硬实时系统运行时验证框架。它解决嵌入式和硬实时系统在运行时的安全监测与正确性验证难题。核心功能支持用流式语言编写高级规范，并能将其生成时间与内存恒定的 C99 监控代码，同时提供测试解释器和定理证明支持。

Spotify 开源的 Python 批处理管道构建模块，支持依赖解析、工作流可视化及 Hadoop 集成。

基于 Ansible 构建的 Web 界面、REST API 和任务引擎，也是 Red Hat 官方自动化平台的上游开源项目。

Hydra 是基于 Haskell 开发的 Cardano 二层扩容方案，旨在降低交易延迟与成本并提升吞吐量。它实现了 Hydra Head 协议，核心提供兼容主网的 `hydra-node` 节点、直连 Cardano 节点能力、WebSocket/HTTP API 以及终端交互界面 `hydra-tui`。

纯 Rust 构建的开源参数化 3D CAD 应用，支持桌面、Web 及 MCP 自动化调用。

〔中文简介暂未生成〕 sbt, the interactive build tool

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

爬取指定网站生成知识库文件，方便快速构建基于自有网页的自定义 GPT。

跨设备、高性能的表单解决方案，支持通用表单与动态表单，兼容 React、React Native 和 Vue。

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

Java 核心 NLP 工具套件，支持分词、断句、NER、句法分析、指代消解及情感分析等。

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

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

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