daly / axiomLinks
Axiom is a free, open source computer algebra system
☆391Updated 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☆363Updated last month
- Computer Algebra and Symbolic Computation for R6RS Scheme☆65Updated 2 years ago
- A Maxima kernel for Jupyter, based on CL-Jupyter (Common Lisp kernel)☆204Updated 11 months ago
- Computer Algebra System written in Common Lisp (GPL CAS based on DOE-MACSYMA)☆122Updated 10 months ago
- SWI-Prolog stable releases☆232Updated 2 weeks ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆166Updated 8 years ago
- Computer calculations made easy☆138Updated last year
- stalin brutally optimizing Scheme compiler, with Debianization patches☆400Updated 5 years ago
- Cl-cuda is a library to use NVIDIA CUDA in Common Lisp programs.☆297Updated 4 years ago
- Simple computer algebra system☆65Updated last year
- ACL2 System and Books as Maintained by the Community☆411Updated last week
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆111Updated 4 years ago
- a practical Scheme compiler☆164Updated 2 months ago
- ☆240Updated last week
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆166Updated 10 months ago
- nanopass compiler framework for Racket☆196Updated last year
- J engine source mirror☆719Updated this week
- Online, interactive edition of the "Simply Logical" Prolog textbook☆169Updated last year
- Benchmarks for various Scheme implementations. Taken with kind permission from the Larceny project, based on the Gabriel and Gambit bench…☆291Updated last year
- Jupyter kernel for Racket☆99Updated 6 months ago
- Canonical miniKanren implementation☆361Updated 7 years ago
- stex: stex to latex and latex to html converters and associated tools☆93Updated 2 years ago
- A binary interface let Chez Scheme use Python, Lua, Ruby etc's library☆195Updated 5 years ago
- FPGA based MIT CADR lisp machine - rewritten in modern verilog - boots and runs☆153Updated 9 years ago
- Larceny Scheme implementation☆210Updated 8 years ago
- Shen language kernel sources for porters☆378Updated last year
- Bibliography of Scheme research (readscheme.org and beyond)☆164Updated 2 years ago
- ☆99Updated 2 weeks ago
- The optimizing Quil compiler.☆484Updated 2 months ago
- ☆169Updated 7 years ago