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
• cr-marcstevens / m4gb
  M4GB: Efficient Groebner Basis algorithm
  ☆55Updated 6 years ago
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆51Updated 2 weeks ago
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆59Updated 2 months ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆85Updated 2 months ago
• SRI-CSL / libpoly
  LibPoly is a C library for manipulating polynomials
  ☆51Updated 3 months ago
• meelgroup / bosphorus
  Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
  ☆69Updated last week
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆59Updated 5 months ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆46Updated this week
• rocq-community / bignums
  Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…
  ☆22Updated 2 months ago
• blanchette / logical_verification_2019
  Repository for the course Logical Verification 2019–2020 at VU Amsterdam
  ☆13Updated 5 years ago
• dominique-unruh / qrhl-tool
  Proof assistant for qRHL
  ☆19Updated 2 months ago
• rocq-community / bits
  A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…
  ☆23Updated last month
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 10 years ago
• MixedMatched / juniper
  A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4
  ☆14Updated 2 months ago
• awodey / math
  Mathematical notes and papers
  ☆26Updated this week
• sagemath / more-sagemath-tutorials
  More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage
  ☆32Updated last year
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆58Updated 5 months ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆71Updated last year
• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• thery / coqprime
  Prime numbers for Coq
  ☆37Updated 2 months ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆57Updated 4 months ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆47Updated 4 years ago
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆35Updated last year
• passagemath / LiDIA
  LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …
  ☆29Updated 5 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 3 months 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 4 months ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆46Updated 3 years ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆10Updated last week