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
  ☆318Updated this week
• acl2 / acl2
  ACL2 System and Books as Maintained by the Community
  ☆376Updated this week
• robert-dodier / maxima-jupyter
  A Maxima kernel for Jupyter, based on CL-Jupyter (Common Lisp kernel)
  ☆191Updated last month
• miniKanren / miniKanren
  Canonical miniKanren implementation
  ☆354Updated 6 years ago
• webyrd / miniKanren-with-symbolic-constraints
  Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
  ☆161Updated 7 years ago
• grzegorzmazur / yacas
  Computer calculations made easy
  ☆132Updated 5 months ago
• lisper / cpus-caddr
  FPGA based MIT CADR lisp machine - rewritten in modern verilog - boots and runs
  ☆122Updated 9 years ago
• dharmatech / mpl
  Computer Algebra and Symbolic Computation for R6RS Scheme
  ☆64Updated 2 years ago
• barak / stalin
  stalin brutally optimizing Scheme compiler, with Debianization patches
  ☆382Updated 4 years ago
• nanopass / nanopass-framework-scheme
  The new nanopass framework; an embedded DSL for writing compilers in Scheme
  ☆495Updated 2 years ago
• phantomics / april
  The APL programming language (a subset thereof) compiling to Common Lisp.
  ☆618Updated 2 months ago
• Shen-Language / shen-sources
  Shen language kernel sources for porters
  ☆367Updated 6 months ago
• takagi / cl-cuda
  Cl-cuda is a library to use NVIDIA CUDA in Common Lisp programs.
  ☆288Updated 3 years ago
• racket / racket7
  ☆170Updated 6 years ago
• vsedach / Vacietis
  C to Common Lisp compiler
  ☆309Updated 2 years ago
• jasonhemann / microKanren
  The implementation of microKanren, a featherweight relational programming language
  ☆308Updated 10 years ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆446Updated last week
• quil-lang / magicl
  Matrix Algebra proGrams In Common Lisp.
  ☆243Updated last month
• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆130Updated last month
• numcl / numcl
  Numpy clone in Common Lisp
  ☆644Updated last year
• appleby / Lisp-In-Small-Pieces
  Programs from the book Lisp in Small Pieces, updated to work on modern schemes
  ☆240Updated 4 years ago
• racket / typed-racket
  Typed Racket
  ☆532Updated this week
• jsoftware / jsource
  J engine source mirror
  ☆677Updated this week
• ecraven / r7rs-benchmarks
  Benchmarks for various Scheme implementations. Taken with kind permission from the Larceny project, based on the Gabriel and Gambit bench…
  ☆277Updated 6 months ago
• the-little-typer / pie
  The Pie language, which accompanies The Little Typer by Friedman and Christiansen
  ☆708Updated 3 years ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆126Updated 12 years ago
• tgvaughan / sicm
  Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
  ☆96Updated 3 years ago
• Wukix / LambdaLite
  A functional, relational database in about 250 lines of Common Lisp
  ☆404Updated 10 years ago
• guenchi / Darkart
  A binary interface let Chez Scheme use Python, Lua, Ruby etc's library
  ☆195Updated 4 years ago
• HOL-Theorem-Prover / HOL
  Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regre…
  ☆647Updated this week