Axiom is a free, open source computer algebra system
☆393Aug 2, 2023Updated 2 years ago
Alternatives and similar repositories for axiom
Users that are interested in axiom are comparing it to the libraries listed below
Sorting:
- Official repository of the FriCAS computer algebra system☆373Updated this week
- ☆14Jun 20, 2023Updated 2 years ago
- Clojure as a literate program☆29Jun 20, 2023Updated 2 years ago
- sources for the Singular computer algebra system☆302Feb 27, 2026Updated last week
- Abacus – Unified Syntax for Pattern Matching over Algebraic Types in Common Lisp☆28Nov 29, 2015Updated 10 years ago
- A fresh implementation of Common Lisp☆1,141Feb 26, 2026Updated last week
- Medley Interlisp virtual machine☆156Feb 22, 2026Updated last week
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆167Feb 4, 2025Updated last year
- The main repo for the Medley Interlisp project. Wiki, Issues are here. Other repositories include maiko (the VM implementation) and Inter…☆434Updated this week
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16May 4, 2018Updated 7 years ago
- ACL2 System and Books as Maintained by the Community☆427Updated this week
- My little polygon for common lisp adventures (games and experiments)☆18Jul 12, 2017Updated 8 years ago
- Computer calculations made easy☆139Feb 11, 2026Updated 3 weeks ago
- Clozure Common Lisp☆928Apr 14, 2025Updated 10 months ago
- Shen for Common Lisp (Unmaintained)☆128May 25, 2024Updated last year
- Unofficial bindings to Rigetti Forest in Common Lisp.☆10Jul 25, 2018Updated 7 years ago
- Spartns is a SPARse TeNSor representation library. This project moved to Gitlab☆10Apr 19, 2018Updated 7 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆57Aug 11, 2016Updated 9 years ago
- Armed Bear Common Lisp <git+https://github.com/armedbear/abcl/> <--> <svn+https://abcl.org/svn> Bridge☆328Feb 13, 2026Updated 3 weeks ago
- Load Common Lisp code blocks from Org files☆68May 31, 2023Updated 2 years ago
- Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra☆941Feb 25, 2026Updated last week
- (BETA) C++-style templates for Common Lisp☆46Jun 6, 2018Updated 7 years ago
- Maxima client☆52Aug 22, 2022Updated 3 years ago
- Major mode for Maxima☆21Jun 11, 2023Updated 2 years ago
- A Common Lisp implementation of the dataflow programming paradigm☆222Feb 10, 2023Updated 3 years ago
- Gopher server written in Common Lisp☆14Nov 7, 2016Updated 9 years ago
- Common Lisp Machine Learning Library☆267Feb 18, 2022Updated 4 years ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆412Updated this week
- A Lisp-to-JavaScript compiler bootstrapped from Common Lisp☆942Updated this week
- clasp Common Lisp environment☆2,743Updated this week
- An Inference Engine based on Propositional Calculus written in Common Lisp☆52Oct 26, 2025Updated 4 months ago
- ☆60Jan 24, 2023Updated 3 years ago
- Public mirror of https://svn.eiffel.com/eiffelstudio-public/trunk with 12 months delay, see https://github.com/EiffelSoftware/libraries f…☆52Jun 25, 2025Updated 8 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- YACC is dead for Common Lisp (based on http://arxiv.org/abs/1010.5023)☆40Apr 1, 2024Updated last year
- Screamer is an extension of Common Lisp that adds support for nondeterministic programming.☆250Apr 15, 2024Updated last year
- miniKanren with a first-order representation of the search space☆17Jul 23, 2024Updated last year
- Library for binary serialization/unserialization☆19Sep 7, 2018Updated 7 years ago
- ASDF system dependency visualizer☆46May 9, 2020Updated 5 years ago