daly / axiomLinks
Axiom is a free, open source computer algebra system
☆385Updated 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☆342Updated this week
- Computer calculations made easy☆134Updated 11 months ago
- A Maxima kernel for Jupyter, based on CL-Jupyter (Common Lisp kernel)☆196Updated 7 months ago
- stalin brutally optimizing Scheme compiler, with Debianization patches☆394Updated 4 years ago
- Computer Algebra System written in Common Lisp (GPL CAS based on DOE-MACSYMA)☆111Updated 6 months ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆164Updated 8 years ago
- ACL2 System and Books as Maintained by the Community☆400Updated this week
- Computer Algebra and Symbolic Computation for R6RS Scheme☆64Updated 2 years ago
- SWI-Prolog stable releases☆226Updated 7 months ago
- a practical Scheme compiler☆157Updated this week
- Canonical miniKanren implementation☆359Updated 7 years ago
- The noweb tool for literate programming☆278Updated 9 months ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆101Updated 4 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆158Updated 6 months ago
- Literate Programming in C/C++☆94Updated 2 weeks ago
- A binary interface let Chez Scheme use Python, Lua, Ruby etc's library☆194Updated 5 years ago
- Online, interactive edition of the "Simply Logical" Prolog textbook☆154Updated 7 months ago
- Cl-cuda is a library to use NVIDIA CUDA in Common Lisp programs.☆292Updated 4 years ago
- nanopass compiler framework for Racket☆189Updated last year
- A Scheme kernel for Jupyter that can use Python libraries☆292Updated last year
- J engine source mirror☆702Updated this week
- Working through Structure and Interpretation of Classical Mechanics.☆125Updated last year
- ☆30Updated 7 years ago
- The APL programming language (a subset thereof) compiling to Common Lisp.☆633Updated last month
- A Unix shell embedded in scheme☆416Updated last year
- Bibliography of Scheme research (readscheme.org and beyond)☆164Updated 2 years ago
- ☆124Updated last year
- stex: stex to latex and latex to html converters and associated tools☆89Updated last year
- Simple computer algebra system☆65Updated 7 months ago
- ☆99Updated last year