搜索结果：os（113 个）

基于 Rust 开发的隐私优先、跨平台文本扩展工具。

WartRemover 是一款灵活的 Scala 代码静态检查（Linting）工具。它主要作为编译器插件使用，基于宏（macros）等技术，帮助开发者在编译阶段排查并规范代码中的不良写法或潜在问题，提升 Scala 代码的质量与安全性。

ZIO Quill 是专为 Scala 打造的编译期语言集成查询（LINQ）库。它解决手写 SQL 繁琐、易出错且有运行时损耗的问题。通过引用 DSL（QDSL）与简单样例类映射数据库，能在编译期直接生成 SQL/CQL 并校验合法性，兼具类型安全与接近原生驱动的高性能。

〔中文简介暂未生成〕 Compose Multiplatform Liquid Glass effect

极其简单易用的文档扫描工具，支持扫描并导出为 PDF 等格式。

微软开源的协同系统，用于将 LLM 与各类开源机器学习社区模型连接调用。

面向实时 Web 应用、具备高扩展性与协作能力的分布式文档-图数据库。

将微信聊天记录一键转发至 AI Agent 与 Obsidian 的原生 macOS 工具。

Obelisk 是一个开箱即用的 Haskell 全栈开发框架，基于 Reflex FRP 打造。它解决全栈技术选型与前后端类型割裂的问题，支持用单一 Haskell 代码库同时构建前后端，并通过强类型系统即时捕获接口变更错误。前端支持 WASM/GHCJS，配合 CapacitorJS 可打包为移动应用，后端支持部署到 NixOS 或 OCI 容器。

专为学术研究优化的 LLM 交互工具，支持论文精读润色与代码分析，兼容多种大模型。

IHP 是一个基于 Haskell 和 Nix 的开箱即用型全栈 Web 框架，旨在提供兼顾编译期类型安全与极高开发效率的体验。它内置路由、HSX 模板、可视化数据库设计器、代码生成器、热重载及身份验证，并通过 Nix 统一部署环境，让开发者更稳、更快地构建 Web 应用。

Focalboard 是 Trello、Notion 和 Asana 的开源可自托管替代品。

真正开源的 MongoDB 替代方案。

开源 iOS AI Agent，支持自定义模型、UI 自动化控制、断点续传及 PDF 报告，运行时无需越狱、电脑或外接硬件。

Perspec 是一款基于 Haskell 开发的桌面工具，用于矫正文档、白板、收据或建筑立面等照片的透视畸变。它能自动识别图像边角，也支持手动拖动微调或缩放，并支持脚本化操作与批量处理，一键导出校正后的平面图像。

精选的优质数学学习与研究资源列表。

自带个人 AI 助手的私密日志应用，支持设备间端到端加密同步。

团队级 AI Agent 记忆中心，将对话、文档与代码沉淀为四类可复用的记忆资产。

收集了 500 多个原生 Swift 扩展的实用代码库，助力提升 iOS 与 macOS 开发效率。

移动端 Git 客户端，用于在远程仓库与本地目录之间同步代码仓库。