Maintainer:
Suggested:
Category:
Suggested:
Variant:
Suggested:
File installed:
Port version:


Reset all filters
3 port(s) found

acl2

Applicative Common Lisp / A Computational Logic

Version: 8.3 | Maintained by: JacksonIsaac | Categories: math | Variants: emacs, ccl, certify, regression, nonstd

fricas

The Fricas computer algebra system

Version: 1.3.8 | Maintained by: pietvo | Categories: math | Variants: x11, sbcl, ccl, ecl, gmp

slime

An Emacs mode for unifying Common Lisp development

Version: 2.28 | Maintained by: easye | Categories: lang | Variants: app, sbcl, clisp, abcl, ccl, ecl

3 port(s) found