Application

• Acclaim - Acclaim is a Presentation Graphics? Application, which takes an input file of sexps describing each slide and renders them using CLX
• ACL2 - ACL2 (A Computational Logic for Applicative Common Lisp) is a theorem prover for industrial Applications
• Alpaca - Alpaca is a new text editing application for authors, written in OpenMCL for MacOS X / Cocoa
• ASDF-Install - asdf-install is a development application for downloading and installing
• Axiom - Axiom is a general purpose Computer Algebra application
• beirc - beirc is a CLIM IRC client Application using the cl-irc library as a backend, initially written by Gilbert Baumann, now maintained by Dave Murray and others
• blogsym - Blogsym is a Common Lisp "blog compiler"
• Cedilla - Cedilla is a simple text printer with very complete Unicode support
• Chemboy - Chemboy is an application to do basic chemistry calculations
• CL-BibTeX - CL-BibTeX is a replacement for the BibTeX program, written by Matthias Koeppe
• cl-blog - cl-blog is a blog engine in Common Lisp (and Application) that Brian Mastenbrook wrote and uses
• cl-cbr - cl-cbr is a little cbr (comic book archive) viewer programmed on CMUCL using LTK, but it should work everywhere LTK works
• cl-famix - CL-Famix is a model extractor application, that extract FAMIX-Lisp complaint models from Lisp systems
• cl-reversi - cl-reversi is a Common Lisp application of the classic reversi or Othello game
• cl-typesetting - cl-typesetting is a Common Lisp typesetting Application about on the level of TeX
• clim-desktop - CLIM-desktop integrates several McCLIM apps to make a Common Lisp development environment
• Climacs - Climacs is an Emacs-like text editor written in Common Lisp
• Climc - Climc is the Common Lisp Instant Messaging Client
• colorize - Colorize is an Application for colorizing chunks of Common Lisp, Scheme, Elisp, C, C++, or Java code
• Datoura - The "Data Touring Machine" is a small, simple and powerful data analysis and plotting application, that generates postscript output
• DTP Prover - DTP Prover, the Don Theorem Prover is described as 'an inference engine for first-order predicate calculus, [specialized] in domain-independent control of reasoning
• Eclipse - Eclipse is an X11 window manager? written entirely in Common Lisp
• Ernestine - Ernestine is a music management application written in Common Lisp
• Express Engine - Express Engine is an Application for working with EXPRESS and EXPRESS-X schemas and their associated data populations
• FEMLISP - FEMLISP is a Mathematics Application which solves partial differential equations with the help of the finite element method (FEM)
• Formal Digital Library - A product of the PRL project and descendant of the Nuprl system, FDL is a system implemented in Common Lisp for developing, refining, and collecting formal proofs
• FRAPPS - FRAPPS stands for 'Framework for Resolution-based Automated Proof Procedures', is a portable resolution theorem-prover
• GBBopen - GBBopen is a high-performance, open source collaborating-software framework based on the concepts that were explored and refined in the UMass Generic Blackboard system and the commercial GBB product
• Geiriadur - Geiriadur is an application and maybe library for dictionary creation, management and use
• GRT Raytracer - GRT Raytracer is a Common Lisp ray-tracing system
• Gsharp - Gsharp is a graphical, interactive score editing application for standard Music notation
• Hiper - High performance term rewriting E-completion system
• html-extract - An application implemented in CLISP to extract the plain text from HTML documents
• IcanCAD - ICanCAD is a CAD electronics editing application for analog and mixed-signal (analog and digital signals on the same chip) circuit design that is distributed under the terms of the GNU General Public License (GPL)
• IMPS - IMPS is an Interactive Mathematical Proof System intended to provide organizational and computational support for the traditional techniques of mathematical reasoning
• klatschbase - Klatschbase
• Lisppaste - lisppaste is an IRC bot that runs under the nickname "lisppaste"
• Lispy - Lispy is an application for Common Lisp library management in Common Lisp
• Maxima - Maxima is a GPL'd Common Lisp mathematics application for computer based algebra (an implementation of MIT's Macsyma? system)
• McCLIM Listener - The McCLIM Listener is an Application / Development tool that is part of McCLIM
• Meta-CVS - Meta-CVS is a development application which builds a more capable version control system around CVS
• NARCL - NARCL is short for Negative Association Rule Mining in Common Lisp and is an association rule mining Library and Application written in Common Lisp
• Nuprl - A system for manipulating proofs based on the type theory of Martin-Löf
• OCO - OCO is a (totally unoptimised and incomplete) OCR application written in Common Lisp
• org-davep-cldict - org-davep-cldict is a Common Lisp Application that provides a McCLIM based interface for talking to a dict server
• org-davep-dictrepl - org-davep-dictrepl is a Common Lisp application that provides a simple repl for talking to a dict server
• plot-2d - Plot-2D is a 2-dimensional data representation and plotting application for Mathematics and scientific data
• Prolog Technology Theorem Prover - The Prolog Technology Theorem Prover is an implementation (in Common Lisp) of the model elimination theorem-proving procedure that extends Prolog to the full first-order predicate calculus
• PWGL - PWGL is a free cross-platform visual language based on Common Lisp, CLOS and OpenGL, specialized in computer aided composition and sound synthesis
• SNARK - SNARK (SRI's New Automated Reasoning Kit) is described as "an automated theorem-proving program" being developed in Common Lisp
• Stumpwm - Stumpwm is a tiling, keyboard driven X11 window manager? application written entirely in Common Lisp
• system-menu - system-menu is an in-development application based on cl-menusystem that is designed to provide a simple, abstract interface to operating on system definitions such as by asdf and mk-defsystem
• Torta - Torta shows you where your disk space is going
• TPS - TPS, standing for Theorem Proving System, is a theorem prover for first-order logic and type theory
• webframeworkmatrix - th{text-transform:none;}
• WeirdIRC - WeirdIRC is a simple IRC client Application using CL and CLIM
• WinCommand -
• xindy - xindy is an index processor that can be used to generate book-like indexes for arbitrary document-preparation systems

Another lisp application directory is LispWire.

Pages in this topic: Acclaim   ACL2   Alpaca   ASDF-Install   Axiom   beirc   blogsym   Cedilla   Chemboy   CL-BibTeX   cl-blog   cl-cbr   cl-famix   cl-reversi   cl-typesetting   clim-desktop   Climacs   Climc   colorize   Datoura   DTP Prover   Eclipse   Ernestine   Express Engine   FEMLISP   Formal Digital Library   FRAPPS   GBBopen   Geiriadur   GRT Raytracer   Gsharp   Hiper   html-extract   IcanCAD   IMPS   klatschbase   Lisppaste   Lispy   Maxima   McCLIM Listener   Meta-CVS   NARCL   Nuprl   OCO   org-davep-cldict   org-davep-dictrepl   plot-2d   Prolog Technology Theorem Prover   PWGL   SNARK   ssqlfs   Stumpwm   system-menu   Torta   TPS   webframeworkmatrix   WeirdIRC   WinCommand   xindy  

Also linked from: index   Kevin Reid   Mathematics   plotting   Suggested Programming Projects  

CLiki pages can be edited by anyone at any time. Imagine a fearsomely comprehensive disclaimer of liability. Now fear, comprehensively