搜索结果：os（1510 个）

专为超高速网店、可扩展商城及复杂 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 的跨平台窗口与输入处理库。

macOS 菜单栏日历应用，基于 MVVM、RxSwift、AppKit 与 SwiftUI 构建。

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

macOS 离线语音转文字应用，无需订阅，Superwhisper 与 Wispr Flow 的开源替代方案。

无广告、低占用、集成 AI 大模型的第三方知乎安卓客户端。

集多源在线播放、本地管理、歌词显示和自建同步于一体的原生 Android 音频播放器。

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 打造的高灵活性开源电商平台，用于快速构建自由定制的数字化商业系统。

面向 iOS、tvOS 和 macOS 的注重隐私的视频播放器。

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

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

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

Signal 官方面向 iOS 平台的开源私密通讯客户端。