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
  ☆94Updated last year
• 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
  ☆123Updated 3 years ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆62Updated last week
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆84Updated last month
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆52Updated this week
• norbert-mueller / iRRAM
  Exact real arithmetic in C++
  ☆50Updated 4 years ago
• flintlib / python-flint
  Python bindings for Flint and Arb
  ☆137Updated 2 weeks ago
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆345Updated 3 weeks ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆34Updated 3 months ago
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆94Updated 3 weeks ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆48Updated this week
• RuleBasedIntegration / Rubi-5
  A Rule-Based Integrator Built On An If-Then-Else Decision Tree
  ☆37Updated 4 years ago
• lukehutch / pikaparser
  The Pika Parser reference implementation
  ☆146Updated 3 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆25Updated 2 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…
  ☆41Updated last month
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 2 months ago
• PetterS / qepcad
  Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
  ☆26Updated 2 months ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• MathBases / MathBases
  ☆23Updated this week
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆56Updated 5 months ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆34Updated last week
• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆49Updated 10 years ago
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆61Updated 5 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆72Updated this week
• rocq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆215Updated last month
• WolframResearch / codeparser
  Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)
  ☆143Updated last year
• regina-normal / regina
  The main source code for Regina
  ☆38Updated this week