Alternatives and similar repositories for BRiAl

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

• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆51Updated 3 months ago
• cr-marcstevens / m4gb
  M4GB: Efficient Groebner Basis algorithm
  ☆55Updated 6 years ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆47Updated this week
• passagemath / upstream-LiDIA
  LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …
  ☆30Updated 2 months ago
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆62Updated last week
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆91Updated 3 weeks ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆15Updated 2 months ago
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆28Updated 2 weeks ago
• JohnCremona / ecdata
  Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…
  ☆20Updated last year
• dominique-unruh / qrhl-tool
  Proof assistant for qRHL
  ☆22Updated last week
• 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
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 8 months ago
• MixedMatched / juniper
  A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4
  ☆19Updated 6 months ago
• meelgroup / bosphorus
  Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
  ☆74Updated 3 months ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆60Updated 8 months ago
• flatsurf / e-antic
  Embedded algebraic number fields
  ☆13Updated 3 weeks ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 8 months ago
• rocq-community / bignums
  Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…
  ☆24Updated last week
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• sagemath / publications
  Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage
  ☆25Updated 7 months ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Updated 2 weeks ago
• rocq-community / bits
  A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…
  ☆23Updated 2 months ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆49Updated last week
• ths-rwth / smtrat
  ☆55Updated last month
• VeriNum / vcfloat
  VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
  ☆29Updated 5 months ago
• JohnCremona / eclib
  The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…
  ☆23Updated 2 weeks ago
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆36Updated 2 years ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆62Updated 7 months ago
• sagemath / cypari2
  Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
  ☆28Updated 2 months ago