登录 注册

项目分类

按分类浏览项目,点击分类切换下方列表。

全部 AI 应用与 AI Agent · 638 AI 模型与开发框架 · 758 自动化与工作流 · 426 数据分析与数据处理 · 851 网站与 SaaS 工具 · 358 效率与办公工具 · 416 图像、视频与音频 · 430 内容创作与媒体工具 · 343 电商与营销工具 · 106 游戏与娱乐 · 206 网络与基础设施 · 719 开发者工具 · 1765 安全与隐私工具 · 216 教育与学习 · 316 其他 · 1827

教育与学习 共 316 个项目 · 第 5/16 页

stainless

综合 63
Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题,支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析,自动验证断言及模式匹配完备性等属性。
Scala 414 63 2026-11-11
先进的文本嵌入(Embeddings)、信息检索与重排序(Reranking)工具库。
Python 19,281 3,020 2026-11-11
100 天搞定机器学习(100-Days-Of-ML-Code)项目官方中文版教程。
Python 22,234 5,450 2026-10-24

ivy

综合 63
在不同框架间转换机器学习代码。
Python 14,167 5,434 2026-11-10

night

综合 63
Go 夜读:通过 Bilibili 直播分享 Go 技术话题,社群日常交流编程技术。
Go 12,278 1,155 2026-09-15

tfjs

综合 62
支持 WebGL 硬件加速的 JavaScript 库,用于在前端训练与部署 ML 模型。
TypeScript 19,158 2,023 2026-06-23

julia

综合 62
Julia 是专为技术计算打造的高级、高性能动态编程语言。它旨在解决科学计算和数值分析中兼顾易用性与极致运行速度的需求,提供交互式命令行(REPL)及丰富的包生态,广泛应用于高性能计算、机器学习与科学研究等领域。
Julia 49,264 5,967 2026-11-12
精选 500 道 ReactJS 常见面试题及答案,编程实战题即将更新。
JavaScript 44,921 10,386 2026-10-13
教育与学习 部署:待检测
基于题型模式分类的技术面试刷题学习指南。
TypeScript 14,340 2,306 2026-11-08
教育与学习 开发者工具 部署:待检测

SwarmUI

综合 62
模块化 Stable Diffusion Web 界面,注重易用高级工具、高性能与可扩展性。
C# 4,775 484 2026-11-11

calibre

综合 62
知名开源电子书管理软件 calibre 的官方源码仓库。
Python 26,420 2,756 2026-11-12
教育与学习 部署:待检测

HRM

综合 62
Hierarchical Reasoning Model(分层推理模型)官方发布仓库。
Python 12,667 1,807 2026-03-31

tianshou

综合 62
基于 PyTorch 构建的优雅、灵活的深度强化学习库。
Python 11,052 1,350 2026-04-03

google-research

综合 62
Google Research 官方研究项目与代码集合仓库。
Jupyter Notebook 39,161 8,507 2026-11-11
Markdown 版本的 Emoji 速查表。
TypeScript 13,831 4,587 2026-11-12

mlcourse.ai

综合 62
开放式的经典机器学习(Machine Learning)实战教程与学习资料库。
Python 10,802 5,671 2026-09-03
对齐新课标的中小学多学科知识图谱及题库,带知识点先修关系,提供自适应前置诊断,方便回溯定位薄弱知识点。
Python 7,775 2,076 2026-11-12
教育与学习 部署:待检测

discourse

综合 62
Discourse 是一个开源的现代化社区讨论平台,旨在帮助团队或社群轻松搭建属于自己的论坛。 **核心功能:** - **话题讨论与实时聊天**:支持创建讨论主题,并内置即时聊天功能; - **丰富扩展**:支持自定义主题外观,并提供 AI 机器人、数据分析等插件扩展; - **自由部署**:支持完全自主掌控的独立部署,也提供官方托管服务。
Ruby 48,077 9,062 2026-11-12

swarm

综合 61
OpenAI 官方推出的教学框架,用于探索轻量且符合人机工程的多智能体(multi-agent)编排。
Python 22,127 2,351 2026-04-15

react

综合 61
面向有经验的 React 开发者快速上手 TypeScript 的实用速查手册。
TypeScript 47,090 4,267 2026-09-09
教育与学习 开发者工具 部署:待检测
上一页 下一页