搜索结果:form(771 个)
按分类缩小范围
使用 PyTorch 从零开始、循序渐进实现类似 ChatGPT 的大语言模型教程。
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
用于目标检测、分割等各类视觉识别任务的研究平台。
misskey
综合 62
完全免费、开源的去中心化微型博客(Microblogging)社交平台。
popcorntime
综合 62
聚合各类影视剧集内容的跨平台流媒体播放应用。
wtf
综合 62
专为终端打造的个人信息仪表盘,可在命令行中整合监控各类服务与日常数据。
ioredis
综合 62
功能完善、注重性能与健壮性的 Node.js Redis 客户端。
SwarmUI
综合 62
模块化 Stable Diffusion Web 界面,注重易用高级工具、高性能与可扩展性。
calibre
综合 62
知名开源电子书管理软件 calibre 的官方源码仓库。
gitbucket
综合 62
GitBucket 是一款基于 Scala 的开源 Git 代码托管平台,旨在为开发者提供易安装、轻量级的私有 Git 服务。它兼容 GitHub API,只需 Java 即可运行;核心功能涵盖公私有仓库、代码在线编辑、Issues、PR、Wiki、Git LFS 及插件扩展机制。
Osintgram
综合 62
针对 Instagram 的 OSINT 开源情报分析工具,提供交互式终端来分析指定用户的账号信息。
lexical
综合 62
可扩展的文本编辑器框架,兼具高可靠性、无障碍支持与优秀性能。
pdfplumber
综合 62
深入解析 PDF 中的字符、矩形、线条等详细信息,并轻松提取文本与表格。
aws-doc-sdk-examples
综合 62
收录 AWS 官方文档及 SDK 开发者指南配套代码示例的仓库。