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
  ☆338Updated this week
• acl2 / acl2
  ACL2 System and Books as Maintained by the Community
  ☆397Updated this week
• phantomics / april
  The APL programming language (a subset thereof) compiling to Common Lisp.
  ☆626Updated last week
• barak / stalin
  stalin brutally optimizing Scheme compiler, with Debianization patches
  ☆392Updated 4 years ago
• quil-lang / magicl
  Matrix Algebra proGrams In Common Lisp.
  ☆246Updated 5 months ago
• robert-dodier / maxima-jupyter
  A Maxima kernel for Jupyter, based on CL-Jupyter (Common Lisp kernel)
  ☆195Updated 5 months ago
• Shen-Language / shen-sources
  Shen language kernel sources for porters
  ☆376Updated 10 months ago
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆750Updated 3 weeks ago
• calyau / maxima
  Computer Algebra System written in Common Lisp (GPL CAS based on DOE-MACSYMA)
  ☆110Updated 4 months ago
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆522Updated 2 weeks ago
• jasonhemann / microKanren
  The implementation of microKanren, a featherweight relational programming language
  ☆310Updated 11 years ago
• dharmatech / mpl
  Computer Algebra and Symbolic Computation for R6RS Scheme
  ☆65Updated 2 years ago
• jsoftware / jsource
  J engine source mirror
  ☆696Updated this week
• rmculpepper / iracket
  Jupyter kernel for Racket
  ☆96Updated 2 weeks ago
• takagi / cl-cuda
  Cl-cuda is a library to use NVIDIA CUDA in Common Lisp programs.
  ☆287Updated 3 years ago
• vsedach / Vacietis
  C to Common Lisp compiler
  ☆316Updated 3 years ago
• marcoheisig / Petalisp
  Elegant High-Performance Computing
  ☆498Updated this week
• justinethier / cyclone
  A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system cap…
  ☆851Updated 4 months ago
• miniKanren / miniKanren
  Canonical miniKanren implementation
  ☆358Updated 7 years ago
• kiselgra / c-mera
  Next-level syntax for C-like languages :)
  ☆422Updated 2 months ago
• webyrd / miniKanren-with-symbolic-constraints
  Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
  ☆163Updated 8 years ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆190Updated last year
• lisper / cpus-caddr
  FPGA based MIT CADR lisp machine - rewritten in modern verilog - boots and runs
  ☆135Updated 9 years ago
• yitzchak / common-lisp-jupyter
  A Common Lisp kernel for Jupyter along with a library for building Jupyter kernels.
  ☆231Updated 4 months ago
• racket / typed-racket
  Typed Racket
  ☆542Updated this week
• sicmutils / sicmutils
  Computer Algebra, Physics and Differential Geometry in Clojure.
  ☆816Updated this week
• racket / racket7
  ☆170Updated 7 years ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆223Updated 4 months ago
• ecraven / r7rs-benchmarks
  Benchmarks for various Scheme implementations. Taken with kind permission from the Larceny project, based on the Gabriel and Gambit bench…
  ☆281Updated 10 months ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆456Updated this week