搜索结果：os（1564 个）

为 zsh 提供类似 Fish 的自动补全建议。

面向 Google 账户的情报收集与攻击性安全分析框架。

为 asuswrt/merlin 路由器提供跨越 GFW 工具的项目。

专为超高速网店、可扩展商城及复杂 B2B 应用打造的 Laravel 电商扩展包。

Tamarin prover 是一个用 Haskell 开发的安全协议验证工具。它主要解决网络和安全协议的安全性分析与形式化验证问题。核心功能包括支持复杂协议的模型构建与分析、提供图形化输出展示、内置大量协议案例，并配套 Tree-sitter 语法及常见编辑器的语法高亮支持。

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

涵盖 Linux、Docker、Kubernetes 等多项技术的 DevOps 面试题与练习题合集。

面向通用机器人与具身智能（Embodied AI）学习的物理仿真平台。

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

Dify 是一个 AI 协同开发平台，用于构建 Agent 工作流与 RAG 管道，支持多种模型与工具，助团队从原型快速落地生产。

Play JSON 是一个用 Scala 编写的强大 JSON 库。它不依赖 Play 框架，底层使用 Jackson 解析。主要解决 Scala 应用中 JSON 解析、序列化与对象映射的需求。核心功能包括内置完整的 JSON AST、与样例类互转，以及提供便利的 DSL 操作符（如 `\`）快速查询和遍历 JSON。

基于 FastAPI 与 React 的全栈 Web 模板，集成 SQLModel、PostgreSQL、Vite 及 Docker Compose。

支持 REST、GraphQL、gRPC 等协议的跨平台开源 API 客户端，支持本地、云端与 Git 存储。

专为开发者和 AI Agent 打造的高灵活性开源电商平台，用于快速构建自由定制的数字化商业系统。

为各类 AI Agent 提供跨会话持久记忆，能自动记录并压缩操作历史，并在后续会话中注入相关上下文。

Telegram 的 iOS 客户端。

微软官方出品，针对 1-bit LLM 的推理框架。

TrustedSec 出品的社会工程学工具包（SET）官方代码仓库。

基于 Syncthing 在 iOS 设备上安全同步文件的应用。

基于 WinUI 的跨平台 YouTube Music 客户端，支持无损播放和发烧级音频功能。