适用于 Nix 的 ESP8266 和 ESP32(-C3、-S2、-S3、-C6、-H2)软件包和开发环境。
本仓库包含 ESP-IDF 的派生,以及它所依赖的大多数工具链和工具(所有支持目标的编译器、用于 Espressif 芯片的自定义 OpenOCD 等)。
通过 CC0 发布到公共领域(参见 COPYING
)。
nix develop
最简单的入门方式是运行以下命令之一来获取开发环境,甚至无需下载仓库(需要 Nix 2.4 或更高版本):
nix --experimental-features 'nix-command flakes' develop github:mirrexagon/nixpkgs-esp-dev#esp32-idf
:用于使用 esp-idf 进行 ESP32 开发。
idf.py
。nix --experimental-features 'nix-command flakes' develop github:mirrexagon/nixpkgs-esp-dev#esp8266-rtos-sdk
:用于使用 ESP8266_RTOS_SDK 进行 ESP8266 开发。
可用的环境列表(在命令中的 #
后面)包括:
esp-idf-full
:包括所有支持的 ESP32 芯片的工具链(不包括 ESP8266)。esp32-idf
:包括 ESP32 的工具链。esp32c3-idf
:包括 ESP32-C3 的工具链。esp32s2-idf
:包括 ESP32-S2 的工具链。esp32s3-idf
:包括 ESP32-S3 的工具链。esp32c6-idf
:包括 ESP32-C6 的工具链。esp32h2-idf
:包括 ESP32-H2 的工具链。esp8266-rtos-sdk
:包括 ESP8266 的工具链和 esptool。nix-shell
如果你没有使 用 Nix 2.4+ 或者不想启用 flakes,你可以克隆仓库并使用以下命令之一:
nix-shell shells/esp32-idf-full.nix
nix-shell shells/esp32-idf.nix
nix-shell shells/esp32c3-idf.nix
nix-shell shells/esp32s2-idf.nix
nix-shell shells/esp32s3-idf.nix
nix-shell shells/esp32c6-idf.nix
nix-shell shells/esp32h2-idf.nix
nix-shell shells/esp8266-rtos-sdk.nix
以获得与 nix develop
相同的环境。
注意:nix develop
将使用 flake.nix
/flake.lock
中指定的 nixpkgs 版本,而使用 nix-shell
默认会使用你系统的 nixpkgs。
你可以为你的项目创建一个独立的 shell.nix
,自动下载 nixpkgs-esp-dev
并创建一个包含必要软件包和环境设置的环境,以使用 ESP-IDF。
参见 examples/shell-standalone.nix
示例。
pkgs/esp-idf/default.nix
中指定了默认的 ESP-IDF 版本。要使用不同版本的 ESP-IDF 或固定版本,请使用所需版本和相应的哈希值覆盖 esp-idf-*
派生。工具的正确版本将自动下载。
参见 examples/shell-override-versions.nix
示例。
本仓库在 overlay.nix
中包含一个覆盖层,其中包含本仓库定义的所有软件包。如果你将仓库克隆到 ~/.config/nixpkgs/overlays/
,nixpkgs 将自动获取覆盖层,有效地将这些软件包添加到你的系统 nixpkgs 中。
AI数字人视频创作平台
Keevx 一款开箱即用的AI数字人视频创作平台,广泛适用于电商广告、企业培训与社媒宣传,让全球企业与个人创作者无需拍摄剪辑,就能快速生成多语言、高质量的专业视频。
一站式AI创作平台
提供 AI 驱动的图片、视频生成及数字人等功能,助力创意创作
AI办公助手,复杂任务高效处理
AI办公助手,复杂任务高效处理。办公效率低?扣子空间AI助手支持播客生成、PPT制作、网页开发及报告写作,覆盖科研、商业、舆情等领域的专家Agent 7x24小时响应,生活工作无缝切换,提升50%效率!
AI辅助编程,代码自动修复
Trae是一种自适应的集成开发环境(IDE),通过自动化和多元协作改变开发流程。利用Trae,团队能够更快速、精确地编写和部署代码,从而提高编程效率和项目交付速度。Trae具备上下文感知和代码自动完成功能,是提升开发效率的理想工具。
AI小说写作助手,一站式润色、改写、扩写
蛙蛙写作—国内先进的AI写作平台,涵盖小说、学术、社交媒体等多场景。提供续写、改写、润色等功能,助力创作者高效优化写作流程。界面简洁,功能全面,适合各类写作者提升内容品质和工作效率。
全能AI智能助手,随时解答生活与工作的多样问题
问小白,由元石科技研发的AI智能助手,快速准确地解答各种生活和工作问题,包括但不限于搜索、规划和社交互动,帮助用户在日常生活中提高效率,轻松管理个人事务。
实时语音翻译/同声传译工具
Transly是一个多场景的AI大语言模型驱动的同声传译、专业翻译助手,它拥有超精准的音频识别翻译能力,几乎零延迟的使用体验和支持多国语言可以让你带它走遍全球,无论你是留学生、商务人士、韩剧美剧爱好者,还是出国游玩、多国会议、跨国追星等等,都可以满足你所有需要同传的场景需求,线上线下通用,扫除语言障碍,让全世界的语言交流不再有国界。
一键生成PPT和Word,让学习生活更轻松
讯飞智文是一个利用 AI 技术的项目,能够帮助用户生成 PPT 以及各类文档。无论是商业领域的市场分析报告、年度目标制定,还是学生群体的职业生涯规划、实习避坑指南,亦或是活动策划、旅游攻略等内容,它都能提供支持,帮助用户精准表达,轻松呈现各种信息。
深度推理能力全新升级,全面对标OpenAI o1
科大讯飞的星火大模型,支持语言理解、知识问答和文本创作等多功能,适用于多种文件和业务场景,提升办公和日常生活的效率。讯飞星火是一个提供丰富智能服务的平台,涵盖科技资讯、图像创作、写作辅助、编程解答、科研文献解读等功能,能为不同需求的用 户提供便捷高效的帮助,助力用户轻松获取信息、解决问题,满足多样化使用场景。
一种基于大语言 模型的高效单流解耦语音令牌文本到语音合成模型
Spark-TTS 是一个基于 PyTorch 的开源文本到语音合成项目,由多个知名机构联合参与。该项目提供了高效的 LLM(大语言模型)驱动的语音合成方案,支持语音克隆和语音创建功能,可通过命令行界面(CLI)和 Web UI 两种方式使用。用户可以根据需求调整语音的性别、音高、速度等参数,生成高质量的语音。该项目适用于多种场景,如有声读物制作、智能语音助手开发等。
最新AI工具、AI资讯
独家AI资源、AI项目落地
微信扫一扫关注公众号