Alternatives and similar repositories for axiom

Users that are interested in axiom are comparing it to the libraries listed below

• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆337Updated this week
• robert-dodier / maxima-jupyter
  A Maxima kernel for Jupyter, based on CL-Jupyter (Common Lisp kernel)
  ☆194Updated 5 months ago
• jsoftware / jsource
  J engine source mirror
  ☆693Updated last week
• acl2 / acl2
  ACL2 System and Books as Maintained by the Community
  ☆395Updated this week
• miniKanren / miniKanren
  Canonical miniKanren implementation
  ☆355Updated 7 years ago
• phantomics / april
  The APL programming language (a subset thereof) compiling to Common Lisp.
  ☆624Updated this week
• calyau / maxima
  Computer Algebra System written in Common Lisp (GPL CAS based on DOE-MACSYMA)
  ☆108Updated 4 months ago
• grzegorzmazur / yacas
  Computer calculations made easy
  ☆134Updated 9 months ago
• WolframResearch / codeparser
  Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)
  ☆139Updated 10 months ago
• marcoheisig / Petalisp
  Elegant High-Performance Computing
  ☆497Updated last month
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆189Updated last year
• takagi / cl-cuda
  Cl-cuda is a library to use NVIDIA CUDA in Common Lisp programs.
  ☆287Updated 3 years ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆457Updated this week
• larcenists / larceny
  Larceny Scheme implementation
  ☆207Updated 7 years ago
• rmculpepper / iracket
  Jupyter kernel for Racket
  ☆96Updated 3 years ago
• webyrd / miniKanren-with-symbolic-constraints
  Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
  ☆163Updated 8 years ago
• barak / stalin
  stalin brutally optimizing Scheme compiler, with Debianization patches
  ☆393Updated 4 years ago
• thephoeron / let-over-lambda
  Doug Hoyte's "Production" version of macros from Let Over Lambda, ready for ASDF and Quicklisp.
  ☆143Updated last year
• akeep / scheme-to-c
  A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)
  ☆362Updated 4 years ago
• racket / racket7
  ☆170Updated 7 years ago
• numcl / numcl
  Numpy clone in Common Lisp
  ☆649Updated last year
• dharmatech / mpl
  Computer Algebra and Symbolic Computation for R6RS Scheme
  ☆64Updated 2 years ago
• ascherer / cweb
  Literate Programming in C/C++
  ☆91Updated last month
• nanopass / nanopass-framework-scheme
  The new nanopass framework; an embedded DSL for writing compilers in Scheme
  ☆505Updated 2 years ago
• lisper / cpus-caddr
  FPGA based MIT CADR lisp machine - rewritten in modern verilog - boots and runs
  ☆135Updated 9 years ago
• jasonhemann / microKanren
  The implementation of microKanren, a featherweight relational programming language
  ☆310Updated 10 years ago
• JeffBezanson / femtolisp
  a lightweight, robust, scheme-like lisp implementation
  ☆1,607Updated 5 years ago
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆158Updated 4 months ago
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆745Updated last week
• ecraven / r7rs-benchmarks
  Benchmarks for various Scheme implementations. Taken with kind permission from the Larceny project, based on the Gabriel and Gambit bench…
  ☆280Updated 10 months ago