proofgeneral/coq-emacs
proofgeneral
集成Coq、Emacs和Proof General的Docker镜像，用于运行和测试Proof General证明辅助工具。
0 星标50K+ 次下载
上次更新：5 个月前
silex/emacs
silex
用于在Docker容器中运行Emacs的镜像，提供便捷的容器化文本编辑环境，支持快速部署和使用这款功能强大的编辑器。
49 星标1M+ 次下载
上次更新：4 天前
afsmnghr/dockemacs
afsmnghr
Dockemacs 是一个最小化的无X环境Emacs Docker镜像，提供轻量级、命令行友好的文本编辑体验，适合资源受限或纯命令行环境使用。
2 星标10M+ 次下载
上次更新：5 个月前
silex/emacs-cache
silex
用于silex/emacs仓库的镜像缓存，提供高效的构建缓存支持，存储并复用构建依赖及中间产物，显著加速相关项目的构建过程，减少重复下载和编译时间。
0 星标100K+ 次下载
上次更新：4 天前
nakkaya/emacs
nakkaya
基于Emacs的云开发环境镜像，提供轻量级、可扩展的云端代码编辑和开发能力，支持远程访问、环境持久化与插件扩展，适用于无需本地配置的跨平台开发场景。
0 星标10K+ 次下载
上次更新：7 天前
jare/spacemacs-circleci
jare
用于Spacemacs在CircleCI环境中进行测试的Dockerfile镜像
1 星标50K+ 次下载
上次更新：1 年前
第 1 页
咨询镜像拉取问题请 提交工单，官方技术交流群：1072982923
轩辕镜像面向开发者与科研用户，提供开源镜像的搜索和访问支持。所有镜像均来源于原始仓库，本站不存储、不修改、不传播任何镜像内容。