daly / axiomLinks
Axiom is a free, open source computer algebra system
☆384Updated last year
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☆338Updated last week
- A Maxima kernel for Jupyter, based on CL-Jupyter (Common Lisp kernel)☆195Updated 6 months ago
- Computer calculations made easy☆134Updated 10 months ago
- stalin brutally optimizing Scheme compiler, with Debianization patches☆393Updated 4 years ago
- ACL2 System and Books as Maintained by the Community☆395Updated this week
- Computer Algebra System written in Common Lisp (GPL CAS based on DOE-MACSYMA)☆110Updated 5 months ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆164Updated 8 years ago
- Literate Programming in C/C++☆93Updated 2 months ago
- Computer Algebra and Symbolic Computation for R6RS Scheme☆64Updated 2 years ago
- Benchmarks for various Scheme implementations. Taken with kind permission from the Larceny project, based on the Gabriel and Gambit bench…☆282Updated 11 months ago
- Canonical miniKanren implementation☆359Updated 7 years ago
- A binary interface let Chez Scheme use Python, Lua, Ruby etc's library☆194Updated 5 years ago
- The noweb tool for literate programming☆278Updated 8 months ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆508Updated 2 years ago
- J engine source mirror☆697Updated this week
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆158Updated 5 months ago
- The APL programming language (a subset thereof) compiling to Common Lisp.☆627Updated last month
- Larceny Scheme implementation☆209Updated 7 years ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆101Updated 4 years ago
- a practical Scheme compiler☆154Updated this week
- ☆223Updated last week
- Simple computer algebra system☆64Updated 6 months ago
- The optimizing Quil compiler.☆475Updated 9 months ago
- Cl-cuda is a library to use NVIDIA CUDA in Common Lisp programs.☆290Updated 3 years ago
- ☆125Updated last year
- Working through Structure and Interpretation of Classical Mechanics.☆124Updated last year
- SWI-Prolog stable releases☆225Updated 6 months ago
- ☆170Updated 7 years ago
- NASA PVS Library of Formal Developments☆282Updated last month
- Matrix Algebra proGrams In Common Lisp.☆247Updated 6 months ago