Lisp，是具有悠久历史的计算机编程语言家族，有独特和完全用括号的波兰表示法。起源于1958年，是现今第二悠久而仍广泛使用的高阶编程语言。只有Fortran编程语言比它更早一年。Lisp编程语族已经演变出许多种方言。现代最著名的通用编程语种是Scheme、Common Lisp、Racket和Clojure。
Embeddable Common Lisp是ANSI Common Lisp编程语言的一个小型实现，它可以独立使用或嵌入C语言写成的应用之中。它从Common Lisp代码建立本机OS的可执行文件和库，并运行在支持一个C 编译器的大多数平台上。ECL运行时间系统是让应用使用的动态可装载库。它是在GNU宽通用公共许可证 2.1+下发行的自由及开放源代码软件。
ratpoison是X视窗系统的平铺窗口管理器，主要由 Shawn Betts 开发。ratpoison是用C语言编写的，而StumpWM为其Common Lisp实现。用户界面及其大部分功能都受到GNU Screen的启发。
Scheme是一种函数式编程语言，是Lisp的两种主要方言之一，不同于与之并列的Common Lisp，Scheme遵循极简主义哲学，以一个小型语言核心作为标准，加上各种强力语言工具来扩展语言本身。
Common Lisp对象系统是一种面向对象编程设施，它是美国国家标准协会 Common Lisp的一部分。CLOS是强力的动态编程语言对象系统，在根本上不同于静态语言，比如C++或Java中的那种OOP设施。CLOS受到更早期的Lisp对象系统，比如MIT Flavors和Xerox CommonLoops的启发，然而它比二者要更加泛化。
ACL2是由一个程序语言、一套一阶逻辑的可拓理论、以及一个机械化的定理机器证明所组成的软件系统。ACL2 从设计上支持基于归纳逻辑理论的自动推理，可应用于软件或硬件系统的形式化验证。ACL2 的编程语言及其实现基于 Common Lisp。ACL2 是基于BSD授权发布的开源软件。
Emacs Lisp，一种直译语言式的脚本语言，为LISP的方言之一，Emacs与XEmacs文字编辑器都使用这个程式语言来扩展他们的功能。它的直译器是以C语言来实作的。它受到Maclisp的影响很大，但是跟Common Lisp与Scheme有所不同。
Clozure CL是一个Common Lisp实现。它实现了完全的ANSI Common Lisp标准，并具有一些扩展。 它包含一个命令行开发环境，和使用Hemlock编辑器的一个试验性的Mac OS X集成开发环境，它也可以采用SLIME。Clozure CL是开源软件，这个计划依托于Clozure协会。
Scheme是一种函数式编程语言，是Lisp的两种主要方言之一，不同于与之并列的Common Lisp，Scheme遵循极简主义哲学，以一个小型语言核心作为标准，加上各种强力语言工具来扩展语言本身。
Mini wiki
