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 11 months ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• norbert-mueller / iRRAM
  Exact real arithmetic in C++
  ☆50Updated 4 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆82Updated 2 months ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆30Updated last year
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• kimwalisch / primesum
  🚀 Sum of the primes below x
  ☆38Updated 3 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 9 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 2 months ago
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆61Updated 4 months ago
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆91Updated 3 weeks ago
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆338Updated last week
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆49Updated last week
• lukehutch / pikaparser
  The Pika Parser reference implementation
  ☆144Updated 3 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…
  ☆39Updated last month
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆63Updated this week
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆47Updated this week
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆48Updated last month
• rocq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆212Updated last week
• edemaine / topp
  The Open Problems Project
  ☆37Updated 3 weeks ago
• grzegorzmazur / yacas
  Computer calculations made easy
  ☆134Updated 10 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated last month
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆42Updated 3 years ago
• goualard-f / GAOL
  GAOL is not Just Another Interval Arithmetic Library
  ☆17Updated 2 years ago
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆375Updated this week
• MathBases / MathBases
  ☆22Updated last month