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☆345Updated 3 weeks ago
- stalin brutally optimizing Scheme compiler, with Debianization patches☆394Updated 4 years ago
- Computer calculations made easy☆135Updated last year
- Computer Algebra System written in Common Lisp (GPL CAS based on DOE-MACSYMA)☆113Updated 7 months ago
- A Maxima kernel for Jupyter, based on CL-Jupyter (Common Lisp kernel)☆201Updated 8 months ago
- Computer Algebra and Symbolic Computation for R6RS Scheme☆64Updated 2 years ago
- ACL2 System and Books as Maintained by the Community☆404Updated this week
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆101Updated 4 years ago
- Canonical miniKanren implementation☆360Updated 7 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆164Updated 8 years ago
- Simple computer algebra system☆65Updated 8 months ago
- A binary interface let Chez Scheme use Python, Lua, Ruby etc's library☆194Updated 5 years ago
- Cl-cuda is a library to use NVIDIA CUDA in Common Lisp programs.☆292Updated 4 years ago
- Online, interactive edition of the "Simply Logical" Prolog textbook☆161Updated 8 months ago
- stex: stex to latex and latex to html converters and associated tools☆89Updated last year
- ☆30Updated 7 years ago
- Bibliography of Scheme research (readscheme.org and beyond)☆164Updated 2 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆158Updated 6 months ago
- a practical Scheme compiler☆159Updated last week
- OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations☆26Updated last year
- The noweb tool for literate programming☆279Updated 10 months ago
- SWI-Prolog stable releases☆226Updated 8 months ago
- Larceny Scheme implementation☆210Updated 7 years ago
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆363Updated 4 years ago
- nanopass compiler framework for Racket☆189Updated last year
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆511Updated last week
- Benchmarks for various Scheme implementations. Taken with kind permission from the Larceny project, based on the Gabriel and Gambit bench…