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
  ☆43Updated this week
• grzegorzmazur / yacas
  Computer calculations made easy
  ☆134Updated 11 months ago
• reduce-algebra / reduce-algebra
  reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…
  ☆41Updated this week
• dubrousky / mockmma
  ☆30Updated 7 years ago
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆35Updated last week
• daly / axiom
  Axiom is a free, open source computer algebra system
  ☆385Updated 2 years ago
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆341Updated last week
• texmacs / notes
  Notes about TeXmacs
  ☆29Updated 2 weeks ago
• ascherer / cweb
  Literate Programming in C/C++
  ☆94Updated last week
• ds26gte / tex2page
  ☆30Updated last year
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• mjsottile / sfsexp
  Small Fast S-Expression Library
  ☆79Updated 7 months ago
• texmacs / plugins
  Collection of builtin GNU TeXmacs plugins
  ☆44Updated last week
• dharmatech / mpl
  Computer Algebra and Symbolic Computation for R6RS Scheme
  ☆64Updated 2 years ago
• maxima-project-on-github / maxima-packages
  Packages for the Maxima computer algebra system, contributed by users
  ☆55Updated 6 months ago
• stokito / fortress-lang
  ☆56Updated 8 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆82Updated last week
• wkoszek / cweb
  The CWEB System of Structured Documentation
  ☆30Updated 9 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆35Updated 5 months ago
• nadder / rstex
  Manual translation of tex.web version 3.141592653 into C++ (and other related programs)
  ☆19Updated this week
• pkamenarsky / formulae
  Mirror of ftp://ftp.cs.uni-sb.de/formulae - "A Functional Description of TeX's Formula Layout"
  ☆13Updated 9 years ago
• calyau / maxima
  Computer Algebra System written in Common Lisp (GPL CAS based on DOE-MACSYMA)
  ☆111Updated 6 months ago
• Ravenbrook / mlworks
  MLWorks is a Standard ML compiler and development environment.
  ☆181Updated 7 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆80Updated last year
• abudnik / tcalc
  C++ compile-time Prolog interpreter
  ☆65Updated 11 years ago
• bstarynk / bismon
  persistent monitor (for static source code analysis, GCC based)
  ☆60Updated last year
• mikea / scheme-llvm
  ☆44Updated 8 years ago
• PLplot / PLplot
  A mirror of the official PLplot repository on SourceForge.
  ☆53Updated last year
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 10 months ago
• poeschko / Mathador
  a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)
  ☆38Updated 13 years ago