搜索结果：is（131 个）

Chipyard 是基于 Chisel 的开源敏捷 RISC-V SoC 设计框架。它整合了顺序核（Rocket）、乱序核（BOOM）、向量单元和加速器（Gemmini、NVDLA 等），并集成软件 RTL 仿真、FPGA 加速仿真及自动 VLSI 流程，帮开发者快速构建并验证全功能定制芯片。

高性能 Rust 库，用于 PDF 检测、分类与文本提取，可智能区分扫描版与文本版 PDF 以辅助路由。

支持 Markdown、todo.txt 的 Android 文本编辑与笔记应用。

ChatMCP 是一款基于 Dart 开发的跨平台 AI 客户端，解决了在不同设备上统一调用模型上下文协议（MCP）的需求。核心支持桌面端、移动端与 Web 端，提供 MCP 工具调用、局域网数据同步，以及思考模式、图像生成、Artifacts、LaTeX 和 Mermaid 图表渲染等功能。

涵盖 Python、React、Git、Java 等多领域的 LinkedIn 技能评估测验参考答案合集。

Agda 是一个基于依值类型（Dependent Types）的编程语言兼交互式定理证明器，使用 Haskell 开发。它主要用于类型理论研究和高可靠性程序验证，支持开发者编写严谨的程序代码，并利用其强大的类型系统进行数学定理的形式化交互证明、类型检查与编译。

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

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

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

开源的稍后阅读完整解决方案，专为热爱阅读的人打造。

用于日常记笔记和任务追踪的应用

面向 Claude Code 的全能 SEO 技能库，涵盖技术 SEO、E-E-A-T、结构化数据及反向链接等。

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

基于 Ruby 开发、专为博客优化的静态网站生成器。

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

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

Tapir 是一个声明式、类型安全的 Scala HTTP API 库。它将端点定义与业务逻辑解耦，只需一套代码即可同时生成 HTTP 服务端、客户端调用代码，并自动导出 OpenAPI/AsyncAPI 文档。能无缝兼容 Netty、http4s、ZIO 等主流 Scala 生态框架。

面向 Claude Code、Cursor 等智能体的技能与插件库，含 410+ 技能与 120+ Agent 资源。

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

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