搜索结果：c（309 个）

方块游戏的“谷歌地图”（Minecraft 寻路机器人）。

汇集 1000 道精选 JavaScript 面试题的速查与复习清单。

Stack 是用于开发 Haskell 项目的跨平台工具。它旨在解决 Haskell 开发环境与依赖管理问题，全面支持 Linux、macOS 和 Windows。无论是新手还是资深开发者，都可以通过它轻松搭建、构建和维护 Haskell 项目。

免费下载《经济学人》（含音频）、《纽约客》等英文原版杂志，支持 EPUB、MOBI、PDF，每周更新。

MIT 公开课《计算机程序的构造和解释》中文化项目与配套学习资料汇总。

saw-script 是基于 Haskell 开发的软件分析工作台（SAW）。它主要解决多语言程序的形式化验证问题，支持对 C、Java、Rust 及 Cryptol 编写的代码进行形式化语义建模与推理。开发者可通过其专用的 SAWScript 脚本语言作为操作接口，结合 Z3 等 SMT 求解器完成代码的形式化验证。

精选优质教程合集，带你从零手写 Git、Docker、数据库等常用技术，通过动手造轮子吃透底层原理、进阶编程水平。

面向所有人的经典机器学习入门教程，包含 12 周、26 节课程及 52 个配套测验。

针对传统 man 手册过于冗长复杂的问题，tldr 提供了由社区维护的命令行速查表。它摒弃繁杂说明，聚焦于最实用的命令示例，涵盖 Linux、macOS、Windows 等多系统的常用工具，帮助开发者迅速上手命令，支持多种客户端和网页查阅。

按公司分类的 LeetCode 题目清单，基于官方企业标签整理为 CSV 文件。

〔中文简介暂未生成〕 A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.

精选 500 个跨行业 AI Agent 实践案例，并提供开源实现链接。

哈佛 CS249r 机器学习系统教材，涵盖基础、扩展、Agentic AI 与 Physical AI。

Servant 是一个基于 Haskell 的类型级领域特定语言（DSL）。它主要解决 Web 应用中 API 定义与实现脱节的问题，允许开发者在类型层面精确描述 Web API，并以此统一支持后端服务搭建、客户端请求查询、接口 Mock 测试以及自动生成文档等功能。

计算机自学指南，收录国内外优质计算机公开课与系统化学习路径推荐。

Anki 是一款基于间隔重复算法的智能记忆卡片软件，通过科学规划复习时间，帮助用户高效且长久地记忆知识。

用 JavaScript 实现的常用算法与数据结构集合，附带详细解释及参考延伸阅读，适合学习与面试准备。

攻克 LeetCode，不仅知其然，更知其所以然。

LeetCode 题解合集，记录作者的算法刷题之路与解题思路。

全面的 C/C++ 技术面试基础知识与求职经验总结。