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
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆35Updated last month
• 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
• grzegorzmazur / yacas
  Computer calculations made easy
  ☆135Updated last year
• dubrousky / mockmma
  ☆30Updated 7 years ago
• mjsottile / sfsexp
  Small Fast S-Expression Library
  ☆81Updated 9 months ago
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆346Updated last month
• ascherer / cweb
  Literate Programming in C/C++
  ☆96Updated last month
• ds26gte / tex2page
  ☆30Updated last year
• stokito / fortress-lang
  ☆57Updated 8 years ago
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• daly / axiom
  Axiom is a free, open source computer algebra system
  ☆386Updated 2 years ago
• wkoszek / cweb
  The CWEB System of Structured Documentation
  ☆30Updated 9 years ago
• dharmatech / mpl
  Computer Algebra and Symbolic Computation for R6RS Scheme
  ☆64Updated 2 years ago
• nadder / rstex
  Manual translation of tex.web version 3.141592653 into C++ (and other related programs)
  ☆19Updated last month
• aldorlang / aldor
  The Aldor Programming Language
  ☆35Updated 7 months ago
• bstarynk / bismon
  persistent monitor (for static source code analysis, GCC based)
  ☆60Updated last year
• Ravenbrook / mlworks
  MLWorks is a Standard ML compiler and development environment.
  ☆181Updated 7 years ago
• cslarsen / mickey-scheme
  Mickey Scheme is an interpreter for R7RS Scheme written in pure C++
  ☆64Updated 8 years ago
• drh / iburg
  A Tree Parser Generator
  ☆101Updated 11 months ago
• jsoftware / qtide
  Qt IDE
  ☆44Updated 2 weeks ago
• mflatt / jit-demo
  ☆65Updated 8 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• abudnik / tcalc
  C++ compile-time Prolog interpreter
  ☆65Updated 11 years ago
• creachadair / imath
  Arbitrary precision integer and rational arithmetic library
  ☆149Updated 2 weeks ago
• fedeinthemix / chez-scmutils
  Port of the 'MIT Scmutils' library to Chez Scheme.
  ☆38Updated last year
• nrnrnr / qc--
  Quick C-- compiler (no longer maintained)
  ☆160Updated 11 years ago
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆80Updated 10 years ago
• cforall / cforall
  The compiler and standard distribution for the C∀ programming language
  ☆82Updated last week
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆86Updated last month