Alternatives and similar repositories for giac:

Users that are interested in giac are comparing it to the libraries listed below

• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆80Updated last year
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆17Updated last year
• fjwright / Run-REDUCE
  A JavaFX GUI to run the REDUCE Computer Algebra System
  ☆14Updated last year
• penguian / glucat
  GluCat: Clifford algebra templates
  ☆19Updated this week
• erincandescent / lib9660
  A simple ISO9660 file system implementation.
  ☆40Updated this week
• davidjbacon / SETL
  GNU SETL
  ☆27Updated 2 months ago
• rurban / libbf
  mirror of Fabrice Bellard's libbf tar releases
  ☆11Updated 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/…
  ☆38Updated this week
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated last month
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆84Updated last month
• tscrim / coxeter
  Coxeter is a library for the study of combinatorial aspects of Coxeter group theory
  ☆11Updated last year
• georgeweigt / eigenmath
  Symbolic math app
  ☆90Updated this week
• kpeeters / cadabra
  Cadabra computer algebra
  ☆19Updated 8 years ago
• seL4 / musllibc
  ☆25Updated 6 months ago
• mk12 / vim-lean
  Lean Theorem Prover plugin for Vim.
  ☆16Updated 3 years ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated last year
• stokito / fortress-lang
  ☆54Updated 8 years ago
• texmacs / guile
  mirror of GNU Guile
  ☆9Updated 4 years ago
• wbhart / comb
  Combinators in C
  ☆38Updated 12 years ago
• 4ti2 / 4ti2
  A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…
  ☆35Updated 10 months ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 6 years ago
• sagemath / pari-jupyter
  Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/
  ☆11Updated 4 months ago
• rochus-keller / Are-we-fast-yet
  Implementations of the Are-we-fast-yet benchmark suite in Oberon+, C++, C, Pascal, Micron and Luon
  ☆17Updated 2 months ago
• peter-frentrup / pMath
  pMath is a programming language similar in spirit to Mathematica (symbolic manipulation & pattern matching) which wants to be a full Comp…
  ☆10Updated 3 weeks ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆45Updated this week
• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆14Updated 6 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆36Updated 10 years ago
• blambov / RealLib
  Library for exact real number computations
  ☆39Updated 9 years ago
• thamugadi / powerpc-ofw-boot
  Bootable stuff for PowerPC-based macs + some primitives to interact with OpenFirmware
  ☆19Updated 4 months ago
• contour-terminal / boxed-cpp
  Boxing primitive types in C++
  ☆12Updated 4 months ago