搜索结果：os（113 个）

gwern.net 是知名独立网站的开源建站基础设施。基于 Haskell 的 Hakyll 搭建，解决长文阅读和知识归档体验问题。核心功能包括网页外链本地快照归档、悬浮弹窗预览、双向反向链接、内容嵌入/折叠、暗黑及阅读模式，并提供旁注、首字下沉等极致排版特性。

〔中文简介暂未生成〕 Your favorite language gets closer to bare metal.

〔中文简介暂未生成〕 Official upstream development repository for Cabal and cabal-install

轻量、开源的原生 macOS 效率启动器。

eff 是一个面向 Scala 的函数式编程库。它旨在替代复杂的单子变换器（Monad Transformers），解决多重副作用组合繁琐的问题。核心提供基于“Freer Monad”的可扩展副作用（Eff monad），开箱支持 Reader、Writer、State 等常用效果，并允许开发者自定义副作用栈。

Wikipedia（维基百科）官方 iOS 客户端。

针对传统 man 手册过于冗长复杂的问题，tldr 提供了由社区维护的命令行速查表。它摒弃繁杂说明，聚焦于最实用的命令示例，涵盖 Linux、macOS、Windows 等多系统的常用工具，帮助开发者迅速上手命令，支持多种客户端和网页查阅。

面向 AI Agent 的独立审计工具，可人工或自主运行以核验执行是否符合预期。

一款开源的 Windows 和 Office 激活脚本工具，支持 HWID、Ohook、在线 KMS 等多种激活方式与故障排查。

由 Office Commun 开发，一款轻巧快速的 macOS WebKit 浏览器。

开源 VPN 工具，注重速度、隐私保护与网络畅通，支持全主流桌面与移动平台。

基于 Meteor 构建的开源看板工具。

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

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

〔中文简介暂未生成〕 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，支持计划定制、动作记录与肌肉受力展示，可从主流软件导入数据。