项目分类
按分类浏览项目，点击分类切换下方列表。
全部
AI 应用与 AI Agent · 648
AI 模型与开发框架 · 761
自动化与工作流 · 433
数据分析与数据处理 · 861
网站与 SaaS 工具 · 358
效率与办公工具 · 424
图像、视频与音频 · 440
内容创作与媒体工具 · 348
电商与营销工具 · 108
游戏与娱乐 · 207
网络与基础设施 · 721
开发者工具 · 1779
安全与隐私工具 · 224
教育与学习 · 318
其他 · 1804
教育与学习 共 318 个项目 · 第 10/16 页
face_recognition
综合 55
极为简便的人脸识别 API，支持 Python 和命令行调用。
eff
综合 54
eff 是一个面向 Scala 的函数式编程库。它旨在替代复杂的单子变换器（Monad Transformers），解决多重副作用组合繁琐的问题。核心提供基于“Freer Monad”的可扩展副作用（Eff monad），开箱支持 Reader、Writer、State 等常用效果，并允许开发者自定义副作用栈。
awesome-react-native
综合 54
精选 React Native 组件、新闻、开发工具与学习资料合集。
baritone
综合 54
方块游戏的“谷歌地图”（Minecraft 寻路机器人）。
汇集 1000 道精选 JavaScript 面试题的速查与复习清单。
stack
综合 54
Stack 是用于开发 Haskell 项目的跨平台工具。它旨在解决 Haskell 开发环境与依赖管理问题，全面支持 Linux、macOS 和 Windows。无论是新手还是资深开发者，都可以通过它轻松搭建、构建和维护 Haskell 项目。
awesome-english-ebooks
综合 54
免费下载《经济学人》（含音频）、《纽约客》等英文原版杂志，支持 EPUB、MOBI、PDF，每周更新。
Learning-SICP
综合 54
MIT 公开课《计算机程序的构造和解释》中文化项目与配套学习资料汇总。
saw-script
综合 54
saw-script 是基于 Haskell 开发的软件分析工作台（SAW）。它主要解决多语言程序的形式化验证问题，支持对 C、Java、Rust 及 Cryptol 编写的代码进行形式化语义建模与推理。开发者可通过其专用的 SAWScript 脚本语言作为操作接口，结合 Z3 等 SMT 求解器完成代码的形式化验证。
精选优质教程合集，带你从零手写 Git、Docker、数据库等常用技术，通过动手造轮子吃透底层原理、进阶编程水平。
面向所有人的经典机器学习入门教程，包含 12 周、26 节课程及 52 个配套测验。
tldr （命令行速查手册）
综合 54
针对传统 man 手册过于冗长复杂的问题，tldr 提供了由社区维护的命令行速查表。它摒弃繁杂说明，聚焦于最实用的命令示例，涵盖 Linux、macOS、Windows 等多系统的常用工具，帮助开发者迅速上手命令，支持多种客户端和网页查阅。
按公司分类的 LeetCode 题目清单，基于官方企业标签整理为 CSV 文件。
Vyxal
综合 54
〔中文简介暂未生成〕 A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.
500-AI-Agents-Projects
综合 53
精选 500 个跨行业 AI Agent 实践案例，并提供开源实现链接。
cs249r_book
综合 53
哈佛 CS249r 机器学习系统教材，涵盖基础、扩展、Agentic AI 与 Physical AI。
x-algorithm
综合 53
驱动 X 平台“为您推荐（For You）”信息流的推荐算法核心代码。
servant
综合 53
Servant 是一个基于 Haskell 的类型级领域特定语言（DSL）。它主要解决 Web 应用中 API 定义与实现脱节的问题，允许开发者在类型层面精确描述 Web API，并以此统一支持后端服务搭建、客户端请求查询、接口 Mock 测试以及自动生成文档等功能。
计算机自学指南，收录国内外优质计算机公开课与系统化学习路径推荐。
anki （间隔重复记忆卡片）
综合 53
Anki 是一款基于间隔重复算法的智能记忆卡片软件，通过科学规划复习时间，帮助用户高效且长久地记忆知识。