Alternatives and similar repositories for open-axiom

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

• ascherer / cwebbin
  Literate Programming in C/C++
  ☆36Updated last week
• grzegorzmazur / yacas
  Computer calculations made easy
  ☆138Updated last year
• ascherer / mmix
  MMIX 2009 – a RISC computer for the third millennium
  ☆44Updated this week
• stokito / fortress-lang
  ☆57Updated 8 years ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• drh / iburg
  A Tree Parser Generator
  ☆101Updated last year
• jwiegley / gdtoa
  David M. Gay's floating-point conversion library
  ☆35Updated 15 years ago
• mjsottile / sfsexp
  Small Fast S-Expression Library
  ☆84Updated 11 months ago
• ascherer / cweb
  Literate Programming in C/C++
  ☆96Updated 4 months ago
• daly / axiom
  Axiom is a free, open source computer algebra system
  ☆390Updated 2 years ago
• nadder / rstex
  Manual translation of tex.web version 3.141592653 into C++ (and other related programs)
  ☆19Updated 3 months ago
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆358Updated 2 weeks ago
• wkoszek / cweb
  The CWEB System of Structured Documentation
  ☆30Updated 10 years ago
• cforall / cforall
  The compiler and standard distribution for the C∀ programming language
  ☆83Updated this week
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years 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/…
  ☆42Updated this week
• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆49Updated 10 years ago
• abudnik / tcalc
  C++ compile-time Prolog interpreter
  ☆65Updated 11 years ago
• cslarsen / mickey-scheme
  Mickey Scheme is an interpreter for R7RS Scheme written in pure C++
  ☆64Updated 8 years ago
• dharmatech / mpl
  Computer Algebra and Symbolic Computation for R6RS Scheme
  ☆65Updated 2 years ago
• LLNL / yorick
  yorick interpreted language
  ☆82Updated 7 months ago
• ds26gte / tex2page
  ☆30Updated last year
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 10 years ago
• bstarynk / bismon
  persistent monitor (for static source code analysis, GCC based)
  ☆61Updated last year
• PLplot / PLplot
  A mirror of the official PLplot repository on SourceForge.
  ☆56Updated last year
• mikea / scheme-llvm
  ☆44Updated 9 years ago
• mflatt / jit-demo
  ☆65Updated 9 years ago
• suiginsoft / hebimath
  arbitrary precision arithmetic library
  ☆44Updated 7 years ago
• plops / cl-cpp-generator
  another lisp library to generate c/c++ code. this one is supposed to be very simple. note that development of this repo has stopped. i am…
  ☆65Updated 5 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated last year