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
  ☆369Updated last week
• grzegorzmazur / yacas
  Computer calculations made easy
  ☆139Updated last year
• calyau / maxima
  Computer Algebra System written in Common Lisp (GPL CAS based on DOE-MACSYMA)
  ☆125Updated last year
• dharmatech / mpl
  Computer Algebra and Symbolic Computation for R6RS Scheme
  ☆66Updated 3 years ago
• webyrd / miniKanren-with-symbolic-constraints
  Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
  ☆167Updated 8 years ago
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆235Updated last month
• robert-dodier / maxima-jupyter
  A Maxima kernel for Jupyter, based on CL-Jupyter (Common Lisp kernel)
  ☆205Updated last year
• miniKanren / miniKanren
  Canonical miniKanren implementation
  ☆362Updated 7 years ago
• larcenists / larceny
  Larceny Scheme implementation
  ☆209Updated 8 years ago
• barak / stalin
  stalin brutally optimizing Scheme compiler, with Debianization patches
  ☆399Updated 5 years ago
• ecraven / r7rs-benchmarks
  Benchmarks for various Scheme implementations. Taken with kind permission from the Larceny project, based on the Gabriel and Gambit bench…
  ☆293Updated last week
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆167Updated 11 months ago
• acl2 / acl2
  ACL2 System and Books as Maintained by the Community
  ☆419Updated this week
• takagi / cl-cuda
  Cl-cuda is a library to use NVIDIA CUDA in Common Lisp programs.
  ☆300Updated 4 years ago
• manuel-serrano / bigloo
  a practical Scheme compiler
  ☆165Updated this week
• tgvaughan / sicm
  Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
  ☆114Updated 4 years ago
• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆169Updated last year
• guenchi / Darkart
  A binary interface let Chez Scheme use Python, Lua, Ruby etc's library
  ☆195Updated 5 years ago
• soegaard / racket-cas
  Simple computer algebra system
  ☆65Updated last year
• nanopass / nanopass-framework-scheme
  The new nanopass framework; an embedded DSL for writing compilers in Scheme
  ☆530Updated last month
• gwatt / chez-exe
  Chez Scheme self hosting executable
  ☆195Updated last year
• bennn / mechanics
  (in progress) Racket port of the SICM scmutils library
  ☆36Updated 5 years ago
• ds26gte / tyscheme
  ☆123Updated last year
• quil-lang / quilc
  The optimizing Quil compiler.
  ☆485Updated 3 months ago
• fedeinthemix / chez-scmutils
  Port of the 'MIT Scmutils' library to Chez Scheme.
  ☆41Updated last year
• racket / racket7
  ☆169Updated 7 years ago
• Shen-Language / shen-sources
  Shen language kernel sources for porters
  ☆382Updated last week
• marcoheisig / Petalisp
  Elegant High-Performance Computing
  ☆514Updated 7 months ago
• racket / scribble
  ☆243Updated this week
• jasonhemann / microKanren
  The implementation of microKanren, a featherweight relational programming language
  ☆320Updated 11 years ago