将 Coq 到 Scheme Extraction 转换为 Common Lisp / Emacs Lisp，以及它们的辅助宏。 要求 R7RS 方案实施。 您可以在 R5RS Scheme 实现上运行unschme-impl.scm并使用一些附加程序： 错误 命令行 出口 当前错误端口 如何使用。 提取方案代码。 % coqc example.v 将提取的代码转换为 Common Lisp / Emacs Lisp。 例如，使用 ， % chibi-scheme unscheme.scm example.scm example.lisp 或者 % chibi-scheme unscheme.scm example.scm example.el 输出格式由文件扩展名自动确定。 并运行。 % sbcl --load macros_extr.lisp --load exa

LOCKSTEP：Emacs 中的结对编程 Lockstep 是 Emacs 中的结对编程包。 它同步两个或多个 Emacs 框架的窗口和点，以便一组程序员可以共享一个编辑会话。 所有程序员都看到相同的缓冲区和实时编辑，任何程序员都可以接管编辑会话。 Lockstep 需要 Emacs 24。 安装 将 lockstep.el 放在您的加载路径中并 （需要'锁步） 用 一个程序员启动 Emacs 服务器，其他程序员使用emacsclient加入会话。 程序员必须执行 M-x lockstep 开始同步他们的帧。 小心：会话中的任何程序员都可以控制 Emacs 进程作为启动 Emacs 服务器的用户运行。 这意味着会话中的任何程序员都可以像该用户一样编辑文件和启动进程。 最好的处理方法是创建一个专门用于结对编程的特殊帐户，赋予该帐户有限的权限，并让所有程序员登录该帐户。 然后第一个程

perlbrew-mini.el 这是 emacs 的最小 perlbrew 实用程序。 它只做最少的事情：计算各种 perl 二进制文件的路径，并相应地设置 exec-path 和 PATH。 用法 基本用法 在您的 .emacs 中： (require 'perlbrew-mini) (perlbrew-mini-use-latest) 默认情况下，这将尝试从 $HOME/perl5/pelbrew/perls/ 中查找 perlbrew perls。 然后它将尝试使用在该目录中找到的最新 perl。 您可以覆盖以下各种选项： 要覆盖 perlbrew 目录： ;; by default perlbrew-mini-set-perls is set to $HOME/perl5/pelbrew/perls/ (perlbrew-mini-set-perls-dir "/h

打字机模式的自述文件 体验打字机所有乐趣的次要模式。 从分叉。 \ 灵感来自。 为什么是打字机？ 打字机很棒。 从这个人那里拿它： “我认为，在手动 [打字机] 上书写会让你变慢。 你不会修改那么多，你只是想得更多，因为你知道你将不得不重新输入整个（翻转）的东西。 这是一个很大的停止只是拍打任何东西并玩它。” – 威尔自我 我做这个是因为我一直想要一台打字机，但我永远得不到一台真正的打字机。 这也适合那些希望重温嘈杂打字机的日子，或第一次在电脑屏幕上体验它的人。 我自己属于后一类（不过，我确实认为大多数使用 Emacs 的人都足够老，可以使用打字机。我可能是少数使用优秀 Emacs 的千禧一代之一）。 特征 打字机的声音 打字机式编辑 缓冲区滚动以模拟马车运动 将编辑限制为仅附加和重击（略有问题，但可以禁用） 邪恶集成（取消注释代码以启用） (require 'typewriter

用于 Emacs 的 Chrome Javascript 调试器 使用 chrome 调试 websocket 协议 ( ) 的 Javascript 调试器。 直接在 emacs 中调试您的 Javascript 代码。 支持来自 chrome 开发人员工具的所有已知调试器功能，如步进、显示堆栈、重新启动帧、对象评估、文件重新编译、Web 工作者调试。 Chrome 需要使用以下命令行参数启动，以便打开调试端口： chrome --remote-debugging-port=9222 提供了以下交互式 emacs 命令： chrome-connect - 连接到正在运行的 chrome 实例（使用选项卡完成查找要调试的选项卡） chrome-disconnect - 与当前调试会话断开连接 chrome-add-breakpoint - 添加断点 chrome-remove-br

主要包含popup-el-0.5.8.tar.gz、fuzzy-el-0.3.tar.gz和auto-complete-1.5.1.tar.gz

sydi站点 一个基于Emacs和org模式生成静态网站的工具，比如octopress、jekyll。 主页： : 要求：Emacs 24+ 警告：存储库尚未开发完成，某些地方有许多硬编码变量。 我会尽快移动它们并使其成为一种方便的使用方式。 初始化 首先，您应该克隆这个存储库。 git clone https://github.com/ryzzn/sydi-site.git 然后，自定义变量以满足您的需要，现在位于 sydi-site.el 文件的标题行。 最后一步，初始化网站 ./run.sh init 从现在开始，您可以享受您的组织文件编辑、blablabla... 常见用法 一旦您认为是时候查看在之前的 blablabla（即编辑）之后的站点是什么样的，那么您可以在 shell 终端中输入这两个命令。 ./run.sh ./run.sh test 第一个不带任

common lisp开源编译器 1.4.14 版本 配合slime emcas做为lisp开发环境

适用于公司内部有代理拦截，无法下载elpa包的spacemacs用户

三个文档分别是 《学习gnu emacs 第二版》中文高清 《学习gnu emacs 第三版》英文高清 《gnu emacs Lisp 编程入门》中文凑合看 资源仅供学习使用，请支持正版。