From Free Software Directory
Jump to: navigation, search

Broaden your selection: Category/Programming-language

Category/Programming-language Search icon.png

lisp (97)

ACDK is a development framework with a similar target of Microsoft's .NET or Sun's ONE platform, but instead of using Basic/C# or Java as programming language, it bases C++ as core implementation language. ACDK implements the standard library packages, including acdk::lang, acdk::lang::reflect, acdk::util, acdk::io, acdk::text (including regexpr), acdk::net, acdk::sql, acdk::xml and more, as well as technologies like flexible Allocator/Garbage Collection, Threading and Unicode. With the extensions of ACDK C++ objects are available for reflection, serialization, aspect oriented class attributes and [D]ynamic [M]ethod [I]nvocation. This DMI act as an universal object oriented call interface to connect C++ with scripting languages (Java, Perl, Tcl, Python, Lisp, Visual Basic, VBScript) and standard component technologies (CORBA, COM+).
ACL2 is a mathematical logic and a mechanical theorem prover to help you reason in the logic (which is a subset of applicative Common Lisp). The theorem prover is an ``industrial strength version of the Boyer-Moore theorem prover, Nqthm. Users can build models of all kinds of computing systems in ACL2, just as in Nqthm, even though the formal logic is Lisp. Once you've built an ACL2 model of a system, you can run it and use ACL2 to prove theorems about the model.
APEL stands for "A Portable Emacs Library" and contains these modules:


  • alist: utility for Association-list
  • calist: utility for condition tree and condition/situation-alist
  • filename: utility to make file-name
  • install: utility to install emacs-lisp package
  • mule-caeser: ROT 13-47-48 Caesar rotation utility
  • path-util: utility for path management or file detection


  • broken: provide information of broken facilities of Emacs.
  • invisible: provide features about invisible region
  • mcharset: provide MIME charset related features
  • pces: provide portable character encoding scheme features
  • pccl: utility to write portable CCL program
  • pcustom: provide portable custom environment
  • poe: emulation module for basic functions and special forms/macros
  • poem: provide basic functions to write portable MULE programs
  • static: utility for static evaluation


This package is a variant of APEL. The most remarkable feature is that it uses lexical binding and supports only Emacs 24.5 and later. See Wikidata for details of original APEL.
ASDF is the de facto standard build facility for Common Lisp. It's a tool for specifying how systems of Common Lisp software are made up of components (sub-systems and files), and how to operate on these components in the right order so that they can be compiled, loaded, tested, etc. NB. ASDF is not a tool for library and system installation; it plays a role like make or ant, not like a package manager.
AUCTeX is an integrated environment for producing TeX documents in Emacs. It allows many different standard TeX macros to be inserted with simple keystrokes or menu selection. It offers an interface to external programs, enabling you to compile or view your documents from within Emacs. AUCTeX also features the ability to place inline previews of complex TeX statements such as mathematical formulae. AUCTeX provides by far the most wide-spread and sophisticated environment for editing LaTeX, TeX, ConTeXt and Texinfo documents with Emacs or XEmacs. Combined with packages like RefTeX, Flyspell and others it is pretty much without peer as a comprehensive authoring solution for a large variety of operating system platforms and TeX distributions.
'Anti-Web httpd' is a single-process Web server that relies on its inherent simplicity to be robust and secure. It has support for virtual hosts, CGI, IPv6, and more. In its default mode, though, it is easy to launch and requires no configuration files. It implements the bare minimum of HTTP 1.1 necessary to be a productive web server. It doesn't support certain requests like HEAD (anymore), but normal users will never notice the difference. POST request support is in the works, as is HTTPS/SSL support.
Axiom is a general purpose Computer Algebra system. It was originally created under the name Scratchpad and has seen development at companies such as IBM and NAG. Axiom provides a mature, powerful, strongly typed environment designed to enable research into mathematical algorithms and theory. It is also useful for engineering or scientific purposes.
BBDB is the Insidious Big Brother Database for GNU Emacs. It provides an address book for email and snail mail addresses, phone numbers and the like. It can be linked with various Emacs mail clients (Message and Mail mode, Rmail, Gnus, MH-E, Mu4e, VM, and Wanderlust). BBDB is fully customizable.
BHL is an Emacs mode that lets you convert plain TXT files into HTML, LaTeX, and SGML (Linuxdoc) files. The BHL mode handles common font-styles, three levels of sections, footnotes, and any kind of lists, tables, URLs and horizontal rules. It also handles a table of contents: you can browse the toc, insert the toc where you want, and update the sections' numbers with one keystroke.
Bongo is a flexible and usable buffer-oriented media player for GNU Emacs.

... further results

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the page “GNU Free Documentation License”.

The copyright and license notices on this page only apply to the text on this page. Any software or copyright-licenses or other similar notices described in this text has its own copyright notice and license, which can usually be found in the distribution or license text itself.