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
  ☆90Updated 6 months ago
• norbert-mueller / iRRAM
  Exact real arithmetic in C++
  ☆50Updated 4 years ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated last year
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆85Updated this week
• RuleBasedIntegration / Rubi-5
  A Rule-Based Integrator Built On An If-Then-Else Decision Tree
  ☆35Updated 3 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆40Updated 3 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆30Updated 2 weeks ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated this week
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆318Updated this week
• rutgers-apl / rlibm-32
  RLibm for 32-bit representations (float and posit32)
  ☆61Updated 3 years ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆119Updated 2 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆81Updated 6 months ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆46Updated 2 years ago
• flintlib / python-flint
  Python bindings for Flint and Arb
  ☆135Updated this week
• IanBriggs / megalibm
  ☆16Updated last year
• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆47Updated 9 years ago
• kimwalisch / primesum
  🚀 Sum of the primes below x
  ☆37Updated 2 years ago
• herbie-fp / rival
  Interval arithmetic for real computation
  ☆21Updated 3 weeks ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆42Updated this week
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆56Updated this week
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• goualard-f / GAOL
  GAOL is not Just Another Interval Arithmetic Library
  ☆16Updated 2 years ago
• blambov / RealLib
  Library for exact real number computations
  ☆39Updated 9 years ago
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆55Updated 11 months ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆69Updated 7 years ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆82Updated 4 years ago
• kmill / lean4-raytracer
  A simple raytracer written in Lean 4
  ☆132Updated 8 months ago
• PetterS / qepcad
  Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
  ☆24Updated 8 months ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆63Updated last year