搜索结果：nix（25 个）

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

为 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 容器。

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

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

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

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

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

Cachix 是专为 Nix 设计的二进制缓存托管命令行客户端，旨在避免重复构建软件。它支持一键配置并使用远程二进制缓存，提供向缓存推送构建产物、监控 `/nix/store` 自动上传新产物、导入 S3 缓存、固定路径防垃圾回收以及远程部署管理等核心功能。

**nix-tree** 是一个用 Haskell 编写的终端交互工具，解决 Nix 派生包（derivation）依赖关系复杂、体积难以直观分析的问题。它支持终端内按键浏览依赖树，查看自身大小与闭包体积，提供搜索、依赖溯源及导出 DOT 格式等功能。

cabal2nix 是一款能将 Haskell 的 Cabal 构建文件自动转换为 Nix 构建指令的工具，解决了在 Nix 生态中打包 Haskell 项目时的定义编写问题。它还包含用于生成 nixpkgs 中 `haskellPackages` 包集合的 hackage2nix 等核心组件。

支持 OpenGL、OpenGL ES 和 Vulkan 的跨平台窗口与输入处理库。

`network` 是 Haskell 的底层网络接口库。它为开发者提供基础的套接字（Socket）编程能力与系统级网络通信接口，支持跨平台（包括 Windows 与类 Unix 系统）构建底层网络应用。

Nixfmt 是由官方团队维护的 Nix 语言代码格式化工具，基于 Haskell 开发。它致力于解决 Nix 代码排版不统一的问题，核心功能是严格按照官方标准自动规范并美化 Nix 代码。支持在 NixOS、VS Code 及 Neovim 等环境与编辑器中无缝集成使用。

面向初学者的 Phoenix 聊天应用开发、测试与部署循序渐进教程。

nixpkgs-update 是一个用 Haskell 编写的自动化工具。它主要用于自动化更新 Nixpkgs 软件仓库中的软件包版本，自 2018 年起持续运行，帮助维护者省去手动检查和更新软件包版本的繁琐工作。