Alternatives and similar repositories for open-axiom

Users that are interested in open-axiom are comparing it to the libraries listed below

• ascherer / mmix
  MMIX 2009 – a RISC computer for the third millennium
  ☆44Updated last week
• dubrousky / mockmma
  ☆30Updated 8 years ago
• grzegorzmazur / yacas
  Computer calculations made easy
  ☆139Updated last year
• reduce-algebra / reduce-algebra
  reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…
  ☆43Updated this week
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆37Updated last week
• daly / axiom
  Axiom is a free, open source computer algebra system
  ☆394Updated 2 years ago
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆369Updated last week
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• mjsottile / sfsexp
  Small Fast S-Expression Library
  ☆86Updated last year
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆77Updated last year
• ascherer / cweb
  Literate Programming in C/C++
  ☆100Updated last week
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆91Updated last month
• stokito / fortress-lang
  ☆59Updated 9 years ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆62Updated 2 years ago
• wkoszek / cweb
  The CWEB System of Structured Documentation
  ☆30Updated 10 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆117Updated 8 years ago
• suiginsoft / hebimath
  arbitrary precision arithmetic library
  ☆44Updated 7 years ago
• rljacobson / FoxySheep
  Compiler Technologies for Mathematica/Wolfram Language.
  ☆36Updated 5 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆36Updated this week
• ds26gte / tex2page
  ☆30Updated last year
• bstarynk / bismon
  persistent monitor (for static source code analysis, GCC based)
  ☆61Updated last year
• poeschko / Mathador
  a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)
  ☆38Updated 13 years ago
• drh / iburg
  A Tree Parser Generator
  ☆103Updated last year
• texmacs / notes
  Notes about TeXmacs
  ☆29Updated 6 months ago
• dharmatech / mpl
  Computer Algebra and Symbolic Computation for R6RS Scheme
  ☆66Updated 3 years ago
• pkamenarsky / formulae
  Mirror of ftp://ftp.cs.uni-sb.de/formulae - "A Functional Description of TeX's Formula Layout"
  ☆13Updated 10 years ago
• MITDDC / clu-1976-1989
  A set of files that can be used to create a working version of an early version of the CLU programming language
  ☆37Updated 3 years ago
• gerby-project / plastex
  Python package to convert LaTeX markup to DOM
  ☆15Updated last year
• metamath / metamath-book
  Source of metamath book
  ☆53Updated 2 years ago