搜索结果:nix(14 个)
按分类缩小范围
centrifugo
综合 69
语言无关的可扩展实时消息服务器,可作为 Pubnub、Pusher、socket.io 等的自托管替代方案。
phoenix
综合 67
专为 AI 应用打造的可观测性与评估分析平台。
miso
综合 60
**miso** 是一个基于 Haskell 的前端与移动端框架,受 Elm 和 React 启发,让开发者能用纯函数式语言编写 UI。
核心功能包括:
1. **MVU 架构与虚拟 DOM**:支持递归 diff 和高效更新。
2. **现代前端特性**:支持组件、生命周期、类型安全路由与事件委托。
3. **多目标编译**:通过 GHC 编译为 JS 或 WASM,支持 WASM 热重载。
obelisk
综合 59
Obelisk 是一个开箱即用的 Haskell 全栈开发框架,基于 Reflex FRP 打造。它解决全栈技术选型与前后端类型割裂的问题,支持用单一 Haskell 代码库同时构建前后端,并通过强类型系统即时捕获接口变更错误。前端支持 WASM/GHCJS,配合 CapacitorJS 可打包为移动应用,后端支持部署到 NixOS 或 OCI 容器。
age
综合 59
简单现代的安全加密工具与 Go 库,短密钥、零配置,具 UNIX 组合性。
changelog.com
综合 56
知名开发者播客 Changelog 的开源网站平台。
matterhorn
综合 55
〔中文简介暂未生成〕 A feature-rich Unix terminal client for the Mattermost chat system
brick
综合 55
Brick 是一个用 Haskell 编写的终端用户界面(TUI)开发库。它解决了传统 TUI 编写控件和布局繁琐的问题,提供声明式 API。开发者只需用纯函数和布局组合器描述界面绘制,并通过状态转换函数处理事件。基于 Vty 构建,支持 Unix 和 Windows 系统。
cachix
综合 54
〔中文简介暂未生成〕 Command line client for Nix binary cache hosting:
union (零知识证明跨链桥协议)
综合 53
面向去中心化金融、抗审查且高安全性的最小化信任零知识证明跨链桥协议。
cabal2nix
综合 51
cabal2nix 是一款能将 Haskell 的 Cabal 构建文件自动转换为 Nix 构建指令的工具,解决了在 Nix 生态中打包 Haskell 项目时的定义编写问题。它还包含用于生成 nixpkgs 中 `haskellPackages` 包集合的 hackage2nix 等核心组件。
nixpkgs-update
综合 46
nixpkgs-update 是一个用 Haskell 编写的自动化工具。它主要用于自动化更新 Nixpkgs 软件仓库中的软件包版本,自 2018 年起持续运行,帮助维护者省去手动检查和更新软件包版本的繁琐工作。
arcana
综合 44
面向 Elixir/Phoenix 的嵌入式 RAG 库,支持 Agent 工作流与仪表盘。
PhoenixAnalytics
综合 38
专为 Phoenix 应用程序打造的即插即用数据分析工具。