Azure-Samples/graphrag-accelerator

graphrag-accelerator 是一个在 Azure 上一键部署知识图谱驱动的 RAG（GraphRAG）解决方案加速器。

• 提供基于知识图谱的 API 端点，支持索引管道触发和查询功能。
• 构建在 graphrag Python 包之上，增强大型语言模型输出。
• 支持高利用率 API 的自动扩展和用户访问控制。
• 包含详细的部署指南和快速入门笔记本以演示各种 API 调用。

infiniflow/infinity

infinity 是一个为大语言模型（LLM）应用构建的 AI 原生数据库，提供极快的混合搜索功能，包括密集向量、稀疏向量、张量和全文检索。

• 支持高性能查询，密集嵌入查询延迟仅 0.1 毫秒，支持超过 15K QPS。
• 提供强大的混合搜索能力，可处理多种数据类型并支持过滤。
• 具有丰富的数据类型支持，包括字符串、数字和向量等。
• 易于使用的 Python API，无需依赖即可轻松部署。

lean-dojo/LeanCopilot

LeanCopilot 是一个用于在 Lean 中进行定理证明的工具，利用大型语言模型（LLMs）实现自动化证明。

• 支持使用内置模型或自定义模型（本地或云端运行）
• 提供战术建议、证据选择和证据搜索功能
• 兼容多种操作系统，包括 Linux、macOS 和 Windows WSL
• 可与 Lean 项目无缝集成，简化定理证明过程

angular/angular

Angular 是一个用于构建移动和桌面网页应用程序的现代开发平台。

• 支持使用 TypeScript/JavaScript 等多种语言进行开发
• 提供快速、可扩展的跨平台解决方案
• 拥有强大的工具和生态系统，包括 Angular CLI 和 Angular Material
• 具备懒加载、动画等高级功能，提升用户体验
• 提供详细文档，帮助用户快速上手并深入学习

xszyou/Fay

Fay 是一个开源的数字人框架，集成了语言模型和数字角色，适用于虚拟购物指南、播报员、助手等多种应用场景。

• 完全开源，商用免责
• 支持全离线使用
• 毫秒级回复速度
• 自由匹配各种数字人模型、大语言模型及 ASR、TTS 模型
• 支持自动播报模式（如虚拟教师和主播）
• 兼容多种终端设备（单片机、app、网站等）
• 多用户并发支持
• 提供丰富的沟通接口与管理控制接口
• 灵活配置语音指令执行
• 可自定义知识库与问答对