搜索结果：form（154 个）
按分类缩小范围
tokenizers
综合 63
针对研究和生产环境优化的高性能前沿 Tokenizer 库。
使用 PyTorch 从零开始、循序渐进实现类似 ChatGPT 的大语言模型教程。
kimi-k3-in-c
综合 63
纯 C99 实现的 Kimi K3 推理，无需 GPU、BLAS 或任何框架，单 CPU 和 8.24 GB 内存即可运行。
stainless
综合 63
Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。
sentence-transformers
综合 63
先进的文本嵌入（Embeddings）、信息检索与重排序（Reranking）工具库。
gel
综合 63
为 Postgres 增强现代数据模型、图查询、Auth 与 AI 解决方案等能力。
SwarmUI
综合 62
模块化 Stable Diffusion Web 界面，注重易用高级工具、高性能与可扩展性。
llm_wiki
综合 62
跨平台桌面应用，可自动将文档整理为互联的知识库，区别于传统 RAG。
openwhisk
综合 61
Apache OpenWhisk 是一个开源的 Serverless（无服务器）云平台。它让开发者无需管理底层服务器，即可通过 Docker 容器运行函数。其核心功能包括：支持将函数暴露为 API、使用规则和触发器实现事件驱动响应、编排复杂工作流，并支持本地及 Kubernetes 部署。
RTranslator
综合 61
面向 Android 平台的开源实时翻译应用，完全在本地设备离线运行。
EasyOCR
综合 61
开箱即用的 OCR 库，支持中文、拉丁文等 80 多种语言及常见字体的文字识别。
nano-vllm
综合 61
Nano vLLM
PaddleFormers
综合 61
基于 PaddlePaddle 构建的易用预训练大语言模型库。
AstrBot
综合 60
支持接入多款 IM 平台与 LLM 的 AI Agent 助手及扩展开发框架。
HunyuanVideo
综合 60
混元视频：腾讯开源的系统化大规模视频生成模型框架。
BPB-Worker-Panel
综合 60
VLESS/Trojan/Warp Worker 订阅 GUI 面板，含私有 DoH、链式代理与 DNS 路由配置。
servo
综合 60
轻量、高性能的应用内嵌 Web 渲染引擎替代方案。
pekko
综合 60
Apache Pekko 是基于 Actor 模型的开源框架（源自 Akka 2.6.x 分支），旨在解决 Java/Scala 开发者构建高并发、分布式及弹性消息驱动应用的复杂难题。其核心通过高级并发抽象，提供持久化、流处理（Streams）和 HTTP 等配套库，支持构建高可用的分布式系统。
JARVIS
综合 60
微软开源的协同系统，用于将 LLM 与各类开源机器学习社区模型连接调用。
lingbot-map
综合 59
用于流式 3D 重建的几何上下文 Transformer 模型。