Application

• Able - Able is a basic lisp editor for Windows/Mac/Linux
• 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
• Alpine - Alpine is a human/resource accounting application written in Common Lisp and CLIM
• 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
• cc-bnc - cc-bnc is an Application intended for learners of the English language wanting to optimize their vocabulary studies
• Cedilla - Cedilla is a document preparation application with very complete Unicode support
• Chemboy - Chemboy is an application to do basic chemistry calculations
• cl-blog - cl-blog is a blog software? 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-ledger - CL-Ledger is a powerful, double-entry accounting system for Common Lisp
• cl-mill - CL-MILL is a CNC milling application generating G-Code, built in Common Lisp
• 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/document preparation application with capabilities similar to TeX
• clim-chess - clim-chess is a CLIM chess playing game
• 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
• CLX Grapher - CLX Grapher is an application for graph drawing?
• CLXS - CLXS is an early-stage implementation of an X11 server (the part that does the drawing and keyboard/mouse handling) in Common Lisp
• colorize - Colorize is an Application for colorizing chunks of Common Lisp, Scheme, Elisp, C, C++, or Java code
• common-db - common-db is a programmable debugging substrate, mostly geared to driving target devices by establishing control via on-chip debugging machinery through a JTAG (IEEE 1149
• 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
• Geiriadur - Geiriadur is an application for natural language 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
• gtfl - GTFL is a graphical terminal application for Common Lisp
• 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 application for analog and mixed-signal (analog and digital signals on the same chip) electronics circuit design
• IMPS - IMPS is an Interactive Mathematical Proof System intended to provide organizational and computational support for the traditional techniques of mathematical reasoning
• jarw-media - media is application for managing and caching the conversion of media
• klatschbase - Klatschbase
• LENS - Lisp Educational Network Simulator (LENS) provides a Common Lisp environment for network simulations
• Lispix - Lispix is a public domain image analysis application for Windows, written and maintained by David Bright at NIST
• lisppaste - lisppaste is an IRC bot that runs under the nickname "lisppaste"
• 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
• McPixel - McPixel is a McCLIM pixel art editor application
• NARCL - NARCL is short for Negative Association Rule Mining in Common Lisp and is an association data mining?/machine learning?/AI library and application
• Nuprl - A system for manipulating proofs based on the type theory of Martin-Löf
• OCO - OCO has not became an useful OCR application yet
• 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
• rip-l - A CD audio ripper and encoder front-end application to paranoia and Ogg Vorbis
• rtorrent-controller - rtorrent-controller is an application to control rTorrent
• Shuffletron - Shuffletron is an MP3 audio player application running on Linux and Mac OS X systems (and possibly elsewhere)
• simplot - Simplot a 2-dimensional data plotting application for Mathematics and scientific data with a simple interface
• 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
• tinywm-lisp - tinywm-lisp is a Common Lisp port of the TinyWM X11 window manager
• 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
• WeirdIRC - WeirdIRC is a simple IRC client Application using CL and CLIM
• WinCommand - WinCommand is an Application that can run a console (like CLisp or cmd) inside a window
• yotta-zoomer - Deep Fractal Zoomer application
• zen - zen is a hackable X server written in Common Lisp

Pages in this topic: Able   Acclaim   ACL2   Alpaca   Alpine   Axiom   beirc   cc-bnc   Cedilla   Chemboy   cl-blog   cl-cbr   cl-famix   cl-ledger   cl-mill   cl-reversi   cl-typesetting   clim-chess   clim-desktop   Climacs   Climc   CLX Grapher   CLXS   colorize   common-db   Datoura   DTP Prover   Eclipse   Ernestine   Express Engine   FEMLISP   Formal Digital Library   Geiriadur   GRT Raytracer   Gsharp   gtfl   Hiper   html-extract   IcanCAD   IMPS   jarw-media   klatschbase   LENS   Lispix   lisppaste   Maxima   McCLIM Listener   McPixel   NARCL   Nuprl   OCO   org-davep-cldict   org-davep-dictrepl   plot-2d   Prolog Technology Theorem Prover   rip-l   rtorrent-controller   Shuffletron   simplot   SNARK   StumpWM   system-menu   tinywm-lisp   Torta   TPS   WeirdIRC   WinCommand   yotta-zoomer   zen  

Also linked from: Buildapp   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