daly / axiomLinks
Axiom is a free, open source computer algebra system
☆386Updated 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☆346Updated last month
- A Maxima kernel for Jupyter, based on CL-Jupyter (Common Lisp kernel)☆201Updated 8 months ago
- Computer calculations made easy☆135Updated last year
- Computer Algebra and Symbolic Computation for R6RS Scheme☆64Updated 2 years ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆101Updated 4 years ago
- stalin brutally optimizing Scheme compiler, with Debianization patches☆398Updated 4 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆165Updated 8 years ago
- a practical Scheme compiler☆160Updated this week
- Online, interactive edition of the "Simply Logical" Prolog textbook☆163Updated 9 months ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆159Updated 7 months ago
- ACL2 System and Books as Maintained by the Community☆404Updated this week
- SWI-Prolog stable releases☆227Updated 9 months ago
- Benchmarks for various Scheme implementations. Taken with kind permission from the Larceny project, based on the Gabriel and Gambit bench…☆284Updated last year
- Canonical miniKanren implementation☆361Updated 7 years ago
- Larceny Scheme implementation☆209Updated 8 years ago
- Computer Algebra System written in Common Lisp (GPL CAS based on DOE-MACSYMA)☆114Updated 7 months ago
- ☆30Updated 7 years ago
- Simple computer algebra system☆65Updated 9 months ago
- nanopass compiler framework for Racket☆190Updated last year
- The implementation of microKanren, a featherweight relational programming language☆312Updated 11 years ago
- ☆124Updated last year
- J engine source mirror☆705Updated this week
- Cl-cuda is a library to use NVIDIA CUDA in Common Lisp programs.☆295Updated 4 years ago
- The APL programming language (a subset thereof) compiling to Common Lisp.☆638Updated 3 months ago
- Elegant High-Performance Computing☆506Updated 3 months ago
- A binary interface let Chez Scheme use Python, Lua, Ruby etc's library☆195Updated 5 years ago
- Jupyter kernel for Racket☆98Updated 3 months ago
- Shen language kernel sources for porters☆379Updated last year
- Bibliography of Scheme research (readscheme.org and beyond)☆164Updated 2 years ago
- ☆169Updated 7 years ago