搜索结果：form（771 个）
按分类缩小范围
openstatus （开源状态页与在线监控）
综合 63
开源的状态页、服务正常运行时间监控和故障应急响应工具。
intellij-community
综合 63
IntelliJ IDEA 社区版与 IntelliJ Platform 平台源码。
PeerTube
综合 63
基于 ActivityPub 联邦协议的开源流媒体平台，在浏览器内直接支持 P2P 传输。
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 解决方案等能力。
flowable-engine
综合 63
轻量高效的工作流与业务流程管理（BPM）平台，面向开发者与业务人员。
swc
综合 62
基于 Rust 构建的高性能 Web 编译与工具平台。
meetily
综合 62
面向 Windows 和 macOS 的本地 AI 会议记录工具。基于本地 Whisper/Parakeet 转录并识别人声，Granola 开源替代品。
druid
综合 62
高性能、支持实时数据分析的分布式数据库。
detectron2
综合 62
用于目标检测、分割等各类视觉识别任务的研究平台。
why-did-you-render
综合 62
通过猴子补丁检测并提示 React 和 React Native 中潜在的不必要重新渲染。
popcorntime
综合 62
聚合各类影视剧集内容的跨平台流媒体播放应用。
wtf
综合 62
专为终端打造的个人信息仪表盘，可在命令行中整合监控各类服务与日常数据。
ioredis
综合 62
功能完善、注重性能与健壮性的 Node.js Redis 客户端。
SwarmUI
综合 62
模块化 Stable Diffusion Web 界面，注重易用高级工具、高性能与可扩展性。
calibre
综合 62
知名开源电子书管理软件 calibre 的官方源码仓库。