Land Of Lisp (中文版,google译) .pdf 20章 带彩图 英文版原书 google翻译后 简单人工纠正

将 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

批量添加影像lisp支持pix4d，CC，91位图，等多种不规则影像格式，批量添加影像lisp支持pix4d，CC，91位图，等多种不规则影像格式

AutoLisp+Vlisp+函数+免费下载 .chm 免费！！！！！！ 看对一堆设置门槛的，恶心！

CAD lisp 里程注记CAD lisp 里程注记CAD lisp 里程注记CAD lisp 里程注记CAD lisp 里程注记CAD lisp 里程注记

cl-docker Common Lisp 客户端库。 这是一项正在进行的工作。 cl-docker使用。

这是什么 ANSI Common Lisp 中但不在 xyzzy 中的一系列计划好的东西。 安装 从网络安装程序 。 如何使用 我会暂时阅读它。 (eval-when (:execute :compile-toplevel :load-toplevel) (require "ansify")) ansify 实现的函数和宏是从 ansify 包中导出的。您通常不能使用-package ansify，因为某些函数和宏与 lisp 包中的符号冲突。请使用以下方法之一。 导入或隐藏 - 单独导入所需的符号 使用(ansify::install)将所有从 ansify 导出的符号导入当前包 用包名指定 注意：如果您使用(ansify::install) ，如果升级了 ansify 并添加了导出的符号，这些符号也将被隐藏导入。 不要定义名称包含在 ANSI 中的函数，因为 ansify 包将

HP67-lisp 用 Lisp 编写的 HP-67 模拟器 该项目正在与一系列博客文章一起开发。 这些解释了一些决定并显示了变化背后的基本原理。 这些文章可以在这里找到： :

不真实 无限期缩短这是一个用于类 lisp 语言的无界并行图重写器引擎。 这个想法很简单：每个计算“时钟”，所有准备重写的东西，都将被重写，例如(+ (+ 6 2) (* 3 4)) 将在 2 个时钟周期内进行评估。 工作图是“漂浮在真空中”，并且图的每个刻度节点都可以请求通过 beta 减少（访问内存）或 delta 减少（文字 ALU 操作）来减少。 在评估之后，您可以测量内存访问和内容，以了解使用的资源量，例如功能单元或生成的内存带宽。 地位 这个项目刚开始不久，但已经实施了以下内容： 首先将源解析为 AST，然后解析为具有附加元数据的应用表达式图 将执行分为两类：delta 和 beta 减少 delta 减少（alu 操作） 一些 beta 减少（条件 + 列表操作） 柯里化 为什么？ 我想知道不同程序有多少局部并行性，它们产生多大的内存带宽以及它们需要多少功能单元。 当

bz等高线上标注高程.lspbz等高线上标注高程.lspbz等高线上标注高程.lspbz等高线上标注高程.lsp