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☆337Updated this week
- A Maxima kernel for Jupyter, based on CL-Jupyter (Common Lisp kernel)☆194Updated 5 months ago
- J engine source mirror☆693Updated last week
- ACL2 System and Books as Maintained by the Community☆395Updated this week
- Canonical miniKanren implementation☆355Updated 7 years ago
- The APL programming language (a subset thereof) compiling to Common Lisp.☆624Updated this week
- Computer Algebra System written in Common Lisp (GPL CAS based on DOE-MACSYMA)☆108Updated 4 months ago
- Computer calculations made easy☆134Updated 9 months ago
- Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)☆139Updated 10 months ago
- Elegant High-Performance Computing☆497Updated last month
- nanopass compiler framework for Racket☆189Updated last year
- Cl-cuda is a library to use NVIDIA CUDA in Common Lisp programs.☆287Updated 3 years ago
- The HOL Light theorem prover☆457Updated this week
- Larceny Scheme implementation☆207Updated 7 years ago
- Jupyter kernel for Racket☆96Updated 3 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆163Updated 8 years ago
- stalin brutally optimizing Scheme compiler, with Debianization patches☆393Updated 4 years ago
- Doug Hoyte's "Production" version of macros from Let Over Lambda, ready for ASDF and Quicklisp.☆143Updated last year
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆362Updated 4 years ago
- ☆170Updated 7 years ago
- Numpy clone in Common Lisp☆649Updated last year
- Computer Algebra and Symbolic Computation for R6RS Scheme☆64Updated 2 years ago
- Literate Programming in C/C++☆91Updated last month
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆505Updated 2 years ago
- FPGA based MIT CADR lisp machine - rewritten in modern verilog - boots and runs☆135Updated 9 years ago
- The implementation of microKanren, a featherweight relational programming language☆310Updated 10 years ago
- a lightweight, robust, scheme-like lisp implementation☆1,607Updated 5 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆158Updated 4 months ago
- High-performance, Reliable, and Parallel APL☆745Updated last week
- Benchmarks for various Scheme implementations. Taken with kind permission from the Larceny project, based on the Gabriel and Gambit bench…☆280Updated 10 months ago