• ETPS

  • Referenced in 156 articles [sw06302]
  • interactively. TPS and ETPS run in Common Lisp, and can be used on any system ... where Common Lisp runs. TPS and ETPS have been used extensively under Unix and Linux...
  • LISP

  • Referenced in 126 articles [sw07201]
  • known general-purpose Lisp dialects are Common Lisp and Scheme. Lisp was originally created...
  • LISP-STAT

  • Referenced in 116 articles [sw01111]
  • particular on a subset of Common Lisp. Lisp-Stat extends standard Lisp arithmetic operations...
  • TPS

  • Referenced in 71 articles [sw00973]
  • interactively. TPS and ETPS run in Common Lisp, and can be used on any system ... where Common Lisp runs. TPS and ETPS have been used extensively under Unix and Linux...
  • CLOS

  • Referenced in 51 articles [sw03334]
  • common lisp/CLOS CLOS stands for Common Lisp Object System and is pronounced ”see loss ... right.) CLOS is the part of Common Lisp that is directly concerned with the usual...
  • Racer

  • Referenced in 65 articles [sw09837]
  • accessing its reasoning services from within Common Lisp and Java...
  • UCPOP

  • Referenced in 38 articles [sw20687]
  • functionality and is much, much faster. Common Lisp source code for the UCPOP partial order ... domain axioms and predicates that call Common Lisp code to determine satisfiability. With a conservative ... control with convenient declarative rules. Our Common Lisp implementation is simple enough for classroom...
  • ML

  • Referenced in 517 articles [sw01218]
  • Lisp, and has been characterized as ”Lisp with types”. It is known ... pattern matching make it well-suited and commonly used to operate on other formal languages...
  • GANITH

  • Referenced in 9 articles [sw10142]
  • evolving. It is written in Common Lisp and C, and runs under version ... machine that runs vanilla Common Lisp, supports the X window system, and has at least...
  • STAR/MPI

  • Referenced in 11 articles [sw02182]
  • been integrated into both GCL (GNU Common LISP) and GAP (a general purpose language...
  • OpenMusic

  • Referenced in 6 articles [sw01449]
  • featured visual programming language based on Common Lisp and CLOS (Common Lisp Object System) allowing...
  • libSBML

  • Referenced in 9 articles [sw12937]
  • provides language bindings for Common Lisp, Java, Python, Perl, MATLAB and Octave, and includes many...
  • FEMLISP

  • Referenced in 3 articles [sw14308]
  • using common Lisp for scientific computing. Lisp is a very flexible and powerful language ... really true today. Furthermore, the virtues of Lisp are becoming more and more important ... BLAS routines written in C an Common Lisp and second, by discussing the recently developed...
  • SNARK

  • Referenced in 4 articles [sw19611]
  • theorem-proving program being developed in Common Lisp. Its principal inference rules are resolution...
  • McCLIM

  • Referenced in 2 articles [sw13544]
  • open source implementation of the Common Lisp Interface Manager specification, a powerful toolkit for writing ... GUIs in Common Lisp...
  • VSPLAD

  • Referenced in 2 articles [sw10212]
  • Symbolic Lie algebras manipulations using COMMON LISP. We present a description and an implementation ... program in COMMON LISP to perform symbolic computations in a given Lie algebra. Using...
  • MKRP

  • Referenced in 3 articles [sw19606]
  • based resolution theorem prover written in Common Lisp...
  • PVSio

  • Referenced in 3 articles [sw12428]
  • These proof rules use the efficient Common Lisp code generated by the ground evaluator...
  • DrACuLa

  • Referenced in 3 articles [sw29646]
  • environment adds a subset of Applicative Common Lisp to DRSCHEME, an integrated programming environment...
  • CLISP

  • Referenced in 2 articles [sw05339]
  • CLISP is an ANSI Common Lisp implementation with an interpreter, compiler, debugger, object system (CLOS...