Maintainer:
Category:
Variant:
File installed:
Port version:
5 port(s) found
5 port(s) found
acl2
Applicative Common Lisp / A Computational Logic
Version: 8.3 | Maintained by: JacksonIsaac | Categories: math | Variants: emacs, ccl, certify, regression, nonstdfricas
The Fricas computer algebra system
Version: 1.3.11 | Maintained by: pietvo | Categories: math | Variants: x11, hunchentoot, sbcl, ccl, ecl, gmpmaxima
The Maxima computer algebra system
Version: 5.47.0 | Maintained by: KubaO | Categories: math | Variants: abcl, ccl, clisp, ecl, gcl, sbcl, xmaxima, printable_doc, universalmaxima-devel
The Maxima computer algebra system
Version: 5.47-dev-20230730 | Maintained by: KubaO | Categories: math | Variants: abcl, ccl, clisp, ecl, gcl, sbcl, xmaxima, printable_doc, universalslime
An Emacs mode for unifying Common Lisp development
Version: 2.28 | Maintained by: easye | Categories: lang | Variants: app, sbcl, clisp, abcl, ccl, ecl5 port(s) found