Alternatives and similar repositories for calcium:

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

• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 8 months ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆86Updated 2 months ago
• norbert-mueller / iRRAM
  Exact real arithmetic in C++
  ☆50Updated 4 years ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆122Updated 3 years ago
• rutgers-apl / rlibm-32
  RLibm for 32-bit representations (float and posit32)
  ☆61Updated 3 years ago
• blambov / RealLib
  Library for exact real number computations
  ☆39Updated 10 years ago
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆55Updated last month
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆330Updated this week
• robol / MPSolve
  Multiprecision Polynomial Solver
  ☆42Updated last month
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• MathBases / MathBases
  ☆18Updated last week
• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆47Updated 9 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆81Updated 8 months ago
• suiginsoft / hebimath
  arbitrary precision arithmetic library
  ☆43Updated 6 years ago
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆59Updated 2 months ago
• digama0 / mm0
  Metamath Zero specification language
  ☆337Updated last week
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆46Updated last month
• regina-normal / regina
  The main source code for Regina
  ☆38Updated this week
• goualard-f / GAOL
  GAOL is not Just Another Interval Arithmetic Library
  ☆16Updated 2 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• lukehutch / pikaparser
  The Pika Parser reference implementation
  ☆144Updated 2 years ago
• rljacobson / FoxySheep
  Compiler Technologies for Mathematica/Wolfram Language.
  ☆36Updated 4 years ago
• herbie-fp / rival
  Interval arithmetic for real computation
  ☆22Updated this week
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated this week
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆84Updated 10 months ago
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆32Updated 2 months ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆41Updated 3 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆74Updated 7 months ago