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
  ☆93Updated 10 months ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆122Updated 3 years ago
• norbert-mueller / iRRAM
  Exact real arithmetic in C++
  ☆50Updated 4 years ago
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆82Updated 3 weeks ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆41Updated 3 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 3 weeks ago
• PetterS / qepcad
  Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
  ☆24Updated last year
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆337Updated this week
• MathBases / MathBases
  ☆22Updated this week
• marijnheule / microsat
  microsat
  ☆135Updated 2 years ago
• herbie-fp / rival
  Interval arithmetic for real computation
  ☆22Updated 3 weeks ago
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆88Updated 2 weeks ago
• rocq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆208Updated last month
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆46Updated last month
• IanBriggs / megalibm
  ☆17Updated last year
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆196Updated 3 weeks ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆29Updated last year
• rutgers-apl / rlibm-32
  RLibm for 32-bit representations (float and posit32)
  ☆61Updated 3 years ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆85Updated 4 years ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• janverschelde / PHCpack
  The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
  ☆67Updated 3 months ago
• ArturasAcus / GeometricAlgebra
  Mathematica package for Clifford (geometric) algebra calculations
  ☆12Updated 2 months ago
• flintlib / python-flint
  Python bindings for Flint and Arb
  ☆135Updated last week
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated last week
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆80Updated 8 months ago
• digama0 / mm0
  Metamath Zero specification language
  ☆341Updated 2 weeks ago