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
  ☆330Updated this week
• acl2 / acl2
  ACL2 System and Books as Maintained by the Community
  ☆381Updated this week
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆736Updated this week
• jsoftware / jsource
  J engine source mirror
  ☆686Updated last week
• barak / stalin
  stalin brutally optimizing Scheme compiler, with Debianization patches
  ☆382Updated 4 years ago
• schemedoc / bibliography
  Bibliography of Scheme research (readscheme.org and beyond)
  ☆156Updated 2 years ago
• robert-dodier / maxima-jupyter
  A Maxima kernel for Jupyter, based on CL-Jupyter (Common Lisp kernel)
  ☆193Updated 3 months ago
• racket / racket7
  ☆170Updated 7 years ago
• ds26gte / tyscheme
  ☆124Updated 11 months ago
• miniKanren / miniKanren
  Canonical miniKanren implementation
  ☆355Updated 7 years ago
• jasonhemann / microKanren
  The implementation of microKanren, a featherweight relational programming language
  ☆308Updated 10 years ago
• phantomics / april
  The APL programming language (a subset thereof) compiling to Common Lisp.
  ☆620Updated this week
• JeffBezanson / femtolisp
  a lightweight, robust, scheme-like lisp implementation
  ☆1,601Updated 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…
  ☆279Updated 8 months ago
• racket / web-server
  ☆95Updated last month
• webyrd / miniKanren-with-symbolic-constraints
  Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
  ☆162Updated 8 years ago
• calyau / maxima
  Computer Algebra System written in Common Lisp (GPL CAS based on DOE-MACSYMA)
  ☆103Updated 2 months ago
• manuel-serrano / bigloo
  a practical Scheme compiler
  ☆148Updated 3 weeks ago
• takagi / cl-cuda
  Cl-cuda is a library to use NVIDIA CUDA in Common Lisp programs.
  ☆287Updated 3 years ago
• hnarayanan / sicm
  Working through Structure and Interpretation of Classical Mechanics.
  ☆124Updated 9 months ago
• racket / typed-racket
  Typed Racket
  ☆535Updated this week
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆156Updated 2 months ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆189Updated last year
• LogicalAtomist / principia
  The Principia Rewrite
  ☆216Updated 2 months ago
• lisper / cpus-caddr
  FPGA based MIT CADR lisp machine - rewritten in modern verilog - boots and runs
  ☆124Updated 9 years ago
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆244Updated 5 years ago
• scheme / scsh
  A Unix shell embedded in scheme
  ☆407Updated last year
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆168Updated 8 months ago
• Shen-Language / shen-sources
  Shen language kernel sources for porters
  ☆372Updated 8 months ago
• tgvaughan / sicm
  Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
  ☆98Updated 3 years ago