• Gelisp

  • Referenced in 2 articles [sw33007]
  • interfaces, a command-line one for Common Lisp and a graphical one for OpenMusic. Using...
  • SLS

  • Referenced in 1 article [sw05256]
  • experimental tool written in Common Lisp for manipulating Slanguages and Lexpressions (expressions over Slanguages ... runs on Linux with Steele Bank Common Lisp (SBCL) and on MacOSX with OpenMCL...
  • KEIM

  • Referenced in 1 article [sw19608]
  • collection of software modules, written in Common Lisp with CLOS, designed to be used ... embedding a reasoning component into another Common Lisp program. It offers a range of datatypes...
  • GOALIE

  • Referenced in 1 article [sw30043]
  • GOALIE, A Common Lisp Application to Discover Kripke Models: Redescribing Biological Processes from Time-Course...
  • pregexp

  • Referenced in 1 article [sw23632]
  • Portable Regular Expressions for Scheme and Common Lisp. pregexp.scm is a portable library for regular...
  • Maxima on Android

  • Referenced in 1 article [sw09820]
  • computer algebra system written in Common Lisp, now runs on your Android mobile devices. Maxima...
  • Belief

  • Referenced in 1 article [sw14242]
  • Graphical Probabilistic Models. BELIEF is a Common Lisp implementation of the Dempster and Kong fusion...
  • Spartns

  • Referenced in 0 articles [sw05822]
  • sparse tensor representation library for Common Lisp. Tensors are a generalization of vectors and matrices...
  • GENCRAY

  • Referenced in 1 article [sw23786]
  • language for portability. GENCRAY defines a LISP-style input language that is translated into either ... customizable to allow both Common and Franz LISP input styles. In addition to generating easily...
  • BClass

  • Referenced in 1 article [sw26091]
  • used to model the continuous/categorical data commonly produced by genetic experiments and large-scale genomic ... object-oriented and fully programmed in Lisp-Stat. The output grouping probabilities are analyzed...
  • ACL2

  • Referenced in 279 articles [sw00060]
  • ACL2 is both a programming language in which...
  • Coq

  • Referenced in 1828 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 2957 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • LAPACK

  • Referenced in 1648 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

  • Referenced in 5177 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6075 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12557 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 8776 articles [sw00771]
  • R is a language and environment for statistical...
  • REDUCE

  • Referenced in 741 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SENAC

  • Referenced in 6 articles [sw00846]
  • SENAC documentation comes in printed and on-line...