搜索结果：is（606 个）

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

极简的 CLI 内网穿透工具，可快速将本地服务映射到公网。

〔中文简介暂未生成〕 GraphFrames is a package for Apache Spark which provides DataFrame-based Graphs

Obelisk 是一个开箱即用的 Haskell 全栈开发框架，基于 Reflex FRP 打造。它解决全栈技术选型与前后端类型割裂的问题，支持用单一 Haskell 代码库同时构建前后端，并通过强类型系统即时捕获接口变更错误。前端支持 WASM/GHCJS，配合 CapacitorJS 可打包为移动应用，后端支持部署到 NixOS 或 OCI 容器。

一款基于标记语言的排版系统，功能强大且简单易学。

GitLab 社区版（CE）镜像仓库，用于代码托管与协作。

基于 Go 的无头云原生身份验证与管理系统，支持 Passkey、社交登录与 OIDC 等，具备出色的扩展能力。

用于在 Ruby 中构建类 REST API 的规范化微框架。

IHP 是一个基于 Haskell 和 Nix 的开箱即用型全栈 Web 框架，旨在提供兼顾编译期类型安全与极高开发效率的体验。它内置路由、HSX 模板、可视化数据库设计器、代码生成器、热重载及身份验证，并通过 Nix 统一部署环境，让开发者更稳、更快地构建 Web 应用。

Taffybar 是基于 GTK 3 和 Haskell 开发的桌面状态栏，主要为 XMonad 等平铺式窗口管理器提供美观的信息展示。它本质上是一个库，用户能用 Haskell 配置和编写自定义组件，提供多种内置小部件，支持 CSS 样式美化，并已初步支持 Wayland。

现代化剪贴板复制库，无需 Flash，gzip 压缩后仅约 3KB。

〔中文简介暂未生成〕 The Egison Programming Language

增强版开源 ChatGPT Web 客户端，支持 Agent、MCP、Artifacts、模型切换及多家主流大模型 API。

用代码可视化呈现你的创意。

专为 Apache Kafka 打造的 Go 语言客户端库。

支持 Windows、Mac 和 Linux 的聚合型桌面音乐播放器，多平台曲库一网打尽。

Tapir 是一个声明式、类型安全的 Scala HTTP API 库。它将端点定义与业务逻辑解耦，只需一套代码即可同时生成 HTTP 服务端、客户端调用代码，并自动导出 OpenAPI/AsyncAPI 文档。能无缝兼容 Netty、http4s、ZIO 等主流 Scala 生态框架。

适用于任何 Shell 的极简、极速且高度可定制的命令行 Prompt。

使用 Rust 编写的极速 Python 代码检查与格式化工具。

用于数据转换的现代管道式语言，简洁强大，旨在作为 SQL 的现代化替代品。