From Free Software Directory
Jump to: navigation, search

Broaden your selection: Category/Programming-language

Category/Programming-language Search icon.png

lisp (87)

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.
Auctex Heckert gnu.tiny.png
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 (Rmail, Gnus, VM, mu4e). BBDB is fully customizable. BBDB recently went through a major re-write which has been released as BBDB 3. BBDB 3 is fully compatible with GNU Emacs 23 and 24 (but not with older versions of GNU Emacs nor -so far- with Xemacs).
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.
CMUCL is a free, high performance implementation of the Common Lisp programming language which runs on most major Unix platforms. It mainly conforms to the ANSI Common Lisp standard. CMUCL provides a sophisticated native code compiler; a powerful foreign function interface; an implementation of CLOS, the Common Lisp Object System; which includes multimethods and a metaobject protocol; a source-level debugger and code profiler; and an Emacs-like editor implemented in Common Lisp.
"Calc" is an advanced calculator and mathematical tool that runs as part of the GNU Emacs environment. Very roughly based on the HP-28/48 series of calculators, its many features include: * Choice of algebraic or RPN (stack-based) entry of calculations. * Arbitrary precision integers and floating-point numbers. * Arithmetic on rational numbers, complex numbers (rectangular and polar), error forms with standard deviations, open and closed intervals, vectors and matrices, dates and times, infinities, sets, quantities with units, and algebraic formulas. * Mathematical operations such as logarithms and trigonometric functions. * Programmer's features (bitwise operations, non-decimal numbers). * Financial functions such as future value and internal rate of return. * Number theoretical features such as prime factorization and arithmetic modulo M for any M. * Algebraic manipulation features, including symbolic calculus. * Moving data to and from regular editing buffers. * "Embedded mode" for manipulating Calc formulas and data directly inside any editing buffer. * Graphics using gnuplot, a versatile plotting program. * Easy programming using keyboard macros, algebraic formulas, algebraic rewrite rules, or extended Emacs Lisp.

... 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.