搜索结果：nix（60 个）

专为 AI 应用打造的可观测性与评估分析平台。

面向复杂软件工程任务的可靠 Coding Agent。

语言无关的可扩展实时消息服务器，可作为 Pubnub、Pusher、socket.io 等的自托管替代方案。

即时、简单且可预测的开发环境管理工具。

一体化开源白板工具，集成了思维导图、流程图与自由手绘等功能。

为 Node.js 封装的跨平台 Unix Shell 命令行工具库。

适用于 UNIX 环境的 Python WSGI HTTP 服务器。

**miso** 是一个基于 Haskell 的前端与移动端框架，受 Elm 和 React 启发，让开发者能用纯函数式语言编写 UI。 核心功能包括： 1. **MVU 架构与虚拟 DOM**：支持递归 diff 和高效更新。 2. **现代前端特性**：支持组件、生命周期、类型安全路由与事件委托。 3. **多目标编译**：通过 GHC 编译为 JS 或 WASM，支持 WASM 热重载。

sttp 是一款专为 Scala 设计的 HTTP 客户端库。它解决了 Scala 生态中网络请求调用繁琐、技术栈割裂的问题。核心功能包括：提供统一易用的 API，支持同步、Future 及各类函数式 Effect（如 cats-effect、ZIO）；兼容 OkHttp 等多种底层后端；支持 URI 插值、JSON 自动编解码、流式传输、文件收发与 WebSocket。

适用于 Linux/macOS/UNIX 的无 Agent 安全审计与系统加固工具，支持合规检测。

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

简单现代的安全加密工具与 Go 库，短密钥、零配置，具 UNIX 组合性。

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

Redox 操作系统官方 GitLab 仓库的镜像。

知名开发者播客 Changelog 的开源网站平台。

独立且高度可定制的个性化桌面小部件（Widget）工具。

〔中文简介暂未生成〕 A feature-rich Unix terminal client for the Mattermost chat system

支持在命令行创建和查看交互式备忘录（cheatsheet）的工具，方便速查常用系统命令选项。

Brick 是一个用 Haskell 编写的终端用户界面（TUI）开发库。它解决了传统 TUI 编写控件和布局繁琐的问题，提供声明式 API。开发者只需用纯函数和布局组合器描述界面绘制，并通过状态转换函数处理事件。基于 Vty 构建，支持 Unix 和 Windows 系统。

nix-vscode-extensions 解决了 Nixpkgs 中 VS Code 插件数量少且更新滞后的痛点。该项目通过每日自动抓取，为 VS Code 市场及 Open VSX 上的海量插件提供最新的 Nix 表达式封装（Flake），方便开发者用 Nix 管理并安装主流平台（Linux、Darwin）的插件。