项目分类
按分类浏览项目，点击分类切换下方列表。
全部
AI 应用与 AI Agent · 638
AI 模型与开发框架 · 758
自动化与工作流 · 426
数据分析与数据处理 · 851
网站与 SaaS 工具 · 358
效率与办公工具 · 416
图像、视频与音频 · 430
内容创作与媒体工具 · 343
电商与营销工具 · 106
游戏与娱乐 · 206
网络与基础设施 · 719
开发者工具 · 1765
安全与隐私工具 · 216
教育与学习 · 316
其他 · 1827
教育与学习 共 316 个项目 · 第 10/16 页
eff
综合 54
eff 是一个面向 Scala 的函数式编程库。它旨在替代复杂的单子变换器（Monad Transformers），解决多重副作用组合繁琐的问题。核心提供基于“Freer Monad”的可扩展副作用（Eff monad），开箱支持 Reader、Writer、State 等常用效果，并允许开发者自定义副作用栈。
livebook
综合 54
通过交互式 Elixir 笔记本实现代码与数据工作流自动化。
awesome-react-native
综合 54
精选 React Native 组件、新闻、开发工具与学习资料合集。
x-algorithm
综合 54
驱动 X 平台“为您推荐（For You）”信息流的推荐算法核心代码。
baritone
综合 54
方块游戏的“谷歌地图”（Minecraft 寻路机器人）。
anki （间隔重复记忆卡片）
综合 54
Anki 是一款基于间隔重复算法的智能记忆卡片软件，通过科学规划复习时间，帮助用户高效且长久地记忆知识。
汇集 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 等多系统的常用工具，帮助开发者迅速上手命令，支持多种客户端和网页查阅。
openproject
综合 54
开源项目管理软件，支持敏捷规划、问题追踪、产品路线图与甘特图，可作为 Jira 的替代方案。
按公司分类的 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。
servant
综合 53
Servant 是一个基于 Haskell 的类型级领域特定语言（DSL）。它主要解决 Web 应用中 API 定义与实现脱节的问题，允许开发者在类型层面精确描述 Web API，并以此统一支持后端服务搭建、客户端请求查询、接口 Mock 测试以及自动生成文档等功能。