daly / axiomLinks
Axiom is a free, open source computer algebra system
☆383Updated 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 this week
- ACL2 System and Books as Maintained by the Community☆397Updated this week
- The APL programming language (a subset thereof) compiling to Common Lisp.☆626Updated last week
- stalin brutally optimizing Scheme compiler, with Debianization patches☆392Updated 4 years ago
- Matrix Algebra proGrams In Common Lisp.☆246Updated 5 months ago
- A Maxima kernel for Jupyter, based on CL-Jupyter (Common Lisp kernel)☆195Updated 5 months ago
- Shen language kernel sources for porters☆376Updated 10 months ago
- High-performance, Reliable, and Parallel APL☆750Updated 3 weeks ago
- Computer Algebra System written in Common Lisp (GPL CAS based on DOE-MACSYMA)☆110Updated 4 months ago
- This repo is the new home of Proof General☆522Updated 2 weeks ago
- The implementation of microKanren, a featherweight relational programming language☆310Updated 11 years ago
- Computer Algebra and Symbolic Computation for R6RS Scheme☆65Updated 2 years ago
- J engine source mirror☆696Updated this week
- Jupyter kernel for Racket☆96Updated 2 weeks ago
- Cl-cuda is a library to use NVIDIA CUDA in Common Lisp programs.☆287Updated 3 years ago
- C to Common Lisp compiler☆316Updated 3 years ago
- Elegant High-Performance Computing☆498Updated this week
- A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system cap…☆851Updated 4 months ago
- Canonical miniKanren implementation☆358Updated 7 years ago
- Next-level syntax for C-like languages :)☆422Updated 2 months ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆163Updated 8 years ago
- nanopass compiler framework for Racket☆190Updated last year
- FPGA based MIT CADR lisp machine - rewritten in modern verilog - boots and runs☆135Updated 9 years ago
- A Common Lisp kernel for Jupyter along with a library for building Jupyter kernels.☆231Updated 4 months ago
- Typed Racket☆542Updated this week
- Computer Algebra, Physics and Differential Geometry in Clojure.☆816Updated this week
- ☆170Updated 7 years ago
- The Principia Rewrite☆223Updated 4 months ago
- Benchmarks for various Scheme implementations. Taken with kind permission from the Larceny project, based on the Gabriel and Gambit bench…☆281Updated 10 months ago
- The HOL Light theorem prover☆456Updated this week