搜索结果：os（124 个）

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

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

面向 Apple Silicon Mac 的开源平铺窗口管理器，支持 Niri 式滚动容器与类似 Hyprland 的 Dwindle 布局。

〔中文简介暂未生成〕 A platform to build and run apps that are elastic, agile, and resilient. SDK, libraries, and hosted environments.

让桌面窗口管理变得优雅的工具。

功能强大、极简设计的跨平台开源笔记应用。

〔中文简介暂未生成〕 Hackage-Server: A Haskell Package Repository

开源的 Notion 替代品，基于 AI 的一体化协作工作区，整合项目管理、知识库与团队协作，同时保障数据自主可控。

集成了高生产力 CLI 工具的云原生 Go 语言微服务框架。

开源健身记录 App，支持计划定制、动作记录与肌肉受力展示，可从主流软件导入数据。

专为 AI Agent 打造的 Office 命令行工具，单二进制文件无需安装 Office，支持自动化读写 Word、Excel 和 PPT。

Mastodon 官方推出的 iOS 客户端。

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

Ian Goodfellow 等人编写的 MIT《深度学习》经典教材 PDF 版本（含完整版及分卷）。

离线优先的知识教育服务端，无需联网即可本地运行维基、书籍、地图及可选本地 AI。

支持自托管的万象书签工具，具备 AI 自动标签与全文检索功能。

专为手写笔记打造的跨平台开源应用。

免费的计算机编程类中文书籍资源汇总，欢迎社区投稿分享。

Paperless-ngx 是一个基于 Python 开发的开源文档管理系统，旨在帮你摆脱杂乱的纸质文件。它能将实体纸质文档扫描、索引并归档，转化为可在线检索的数字化档案，支持通过 Docker Compose 快速部署，轻松实现个人或家庭的无纸化办公。

Ergo 是一个基于 PoW 共识机制的加密货币协议及其 Scala 官方全节点实现。它在扩展 UTXO 模型下解决了传统区块链合约功能受限与状态膨胀问题，核心支持图灵完备的 ErgoScript 合约语言、抗 ASIC 的 Autolykos2 算法、无状态轻客户端以及用于防止垃圾状态的存储费机制。