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
  ☆350Updated 2 weeks ago
• grzegorzmazur / yacas
  Computer calculations made easy
  ☆138Updated last year
• barak / stalin
  stalin brutally optimizing Scheme compiler, with Debianization patches
  ☆400Updated 5 years ago
• acl2 / acl2
  ACL2 System and Books as Maintained by the Community
  ☆405Updated last week
• robert-dodier / maxima-jupyter
  A Maxima kernel for Jupyter, based on CL-Jupyter (Common Lisp kernel)
  ☆201Updated 10 months ago
• calyau / maxima
  Computer Algebra System written in Common Lisp (GPL CAS based on DOE-MACSYMA)
  ☆116Updated 9 months ago
• dharmatech / mpl
  Computer Algebra and Symbolic Computation for R6RS Scheme
  ☆65Updated 2 years ago
• miniKanren / miniKanren
  Canonical miniKanren implementation
  ☆361Updated 7 years ago
• manuel-serrano / bigloo
  a practical Scheme compiler
  ☆160Updated 3 weeks ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• takagi / cl-cuda
  Cl-cuda is a library to use NVIDIA CUDA in Common Lisp programs.
  ☆296Updated 4 years ago
• tgvaughan / sicm
  Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
  ☆110Updated 4 years ago
• webyrd / miniKanren-with-symbolic-constraints
  Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
  ☆166Updated 8 years ago
• triska / clpz
  Constraint Logic Programming over Integers
  ☆209Updated last year
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆162Updated 9 months ago
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆139Updated 7 years ago
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆229Updated 10 months ago
• jsoftware / jsource
  J engine source mirror
  ☆710Updated this week
• schemedoc / bibliography
  Bibliography of Scheme research (readscheme.org and beyond)
  ☆166Updated 2 years ago
• dybvig / stex
  stex: stex to latex and latex to html converters and associated tools
  ☆92Updated last year
• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆165Updated 10 months ago
• phantomics / april
  The APL programming language (a subset thereof) compiling to Common Lisp.
  ☆640Updated 4 months ago
• larcenists / larceny
  Larceny Scheme implementation
  ☆209Updated 8 years ago
• soegaard / racket-cas
  Simple computer algebra system
  ☆65Updated 10 months ago
• rmculpepper / iracket
  Jupyter kernel for Racket
  ☆99Updated 5 months ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆192Updated last year
• guenchi / Darkart
  A binary interface let Chez Scheme use Python, Lua, Ruby etc's library
  ☆195Updated 5 years ago
• LogtalkDotOrg / logtalk3
  Logtalk - declarative object-oriented logic programming language
  ☆469Updated last week
• marcoheisig / Petalisp
  Elegant High-Performance Computing
  ☆510Updated 4 months ago
• lisper / cpus-caddr
  FPGA based MIT CADR lisp machine - rewritten in modern verilog - boots and runs
  ☆146Updated 9 years ago