搜索结果：nix（26 个）

面向复杂软件工程任务的可靠 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 仓库的镜像。

基于 OpenGL 实时渲染逼真星空的开源天文软件，支持全平台。

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

可在 *nix 终端或浏览器中运行的实时 Web 日志分析器与交互式查看器。

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

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

〔中文简介暂未生成〕 Command line client for Nix binary cache hosting:

**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 等环境与编辑器中无缝集成使用。