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
  ☆332Updated this week
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆455Updated last week
• acl2 / acl2
  ACL2 System and Books as Maintained by the Community
  ☆387Updated this week
• UniMath / SymmetryBook
  This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
  ☆416Updated this week
• jsoftware / jsource
  J engine source mirror
  ☆687Updated last week
• phantomics / april
  The APL programming language (a subset thereof) compiling to Common Lisp.
  ☆622Updated this week
• barak / stalin
  stalin brutally optimizing Scheme compiler, with Debianization patches
  ☆386Updated 4 years ago
• dharmatech / mpl
  Computer Algebra and Symbolic Computation for R6RS Scheme
  ☆64Updated 2 years ago
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆742Updated last week
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆525Updated 6 months ago
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆512Updated 2 weeks ago
• robert-dodier / maxima-jupyter
  A Maxima kernel for Jupyter, based on CL-Jupyter (Common Lisp kernel)
  ☆193Updated 4 months ago
• grzegorzmazur / yacas
  Computer calculations made easy
  ☆133Updated 8 months ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆189Updated last year
• jasonhemann / microKanren
  The implementation of microKanren, a featherweight relational programming language
  ☆309Updated 10 years ago
• miniKanren / miniKanren
  Canonical miniKanren implementation
  ☆355Updated 7 years ago
• ascherer / cweb
  Literate Programming in C/C++
  ☆88Updated last week
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆771Updated last month
• Shen-Language / shen-sources
  Shen language kernel sources for porters
  ☆372Updated 8 months ago
• nanopass / nanopass-framework-scheme
  The new nanopass framework; an embedded DSL for writing compilers in Scheme
  ☆504Updated 2 years ago
• lisper / cpus-caddr
  FPGA based MIT CADR lisp machine - rewritten in modern verilog - boots and runs
  ☆124Updated 9 years ago
• larcenists / larceny
  Larceny Scheme implementation
  ☆206Updated 7 years ago
• UniMath / UniMath
  This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆981Updated last week
• wilbowma / cur
  A less devious proof assistant
  ☆224Updated 2 years ago
• MLton / mlton
  The MLton repository
  ☆1,009Updated 2 months ago
• calyau / maxima
  Computer Algebra System written in Common Lisp (GPL CAS based on DOE-MACSYMA)
  ☆104Updated 3 months ago
• racket / typed-racket
  Typed Racket
  ☆537Updated this week
• vectorgraphics / asymptote
  2D & 3D TeX-Aware Vector Graphics Language
  ☆594Updated this week
• guenchi / Darkart
  A binary interface let Chez Scheme use Python, Lua, Ruby etc's library
  ☆194Updated 5 years ago
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆156Updated 3 months ago