搜索结果：os（124 个）

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

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

功能强大的 macOS 菜单栏自定义工具。

一款轻量级、原生的 Mac、iPhone 和 iPad Markdown 笔记本。

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

适用于 Mac 和 iPhone 的快速 Markdown 笔记应用。

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

专为 Mac 设计的鼠标与触控板增强实用工具。

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

类似 Mac 上 TextEdit 的轻量级 Markdown 专用编辑器。

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

在 macOS 菜单栏中快速查看和加入会议的小工具。

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

用于阅读 .md 文件的轻量级 Markdown 查阅工具。

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

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

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

开源、本地优先的自动工作日志与工时追踪工具，可将屏幕活动转化为时间线。

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

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