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
• SRI-CSL / libpoly
  LibPoly is a C library for manipulating polynomials
  ☆50Updated last month
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆60Updated 6 months ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 7 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆14Updated last month
• 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 4 months ago
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆60Updated 3 months ago
• ths-rwth / smtrat
  ☆53Updated last week
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆47Updated this week
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated last month
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆28Updated 2 months ago
• VeriNum / vcfloat
  VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
  ☆28Updated 3 months ago
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆88Updated 2 weeks 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 5 months 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
• fadoss / umaudemc
  Unified Maude model-checking tool
  ☆11Updated 5 months ago
• 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
• blanchette / logical_verification_2019
  Repository for the course Logical Verification 2019–2020 at VU Amsterdam
  ☆13Updated 5 years ago
• mit-frap / spring20
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020
  ☆19Updated 5 years ago
• MixedMatched / juniper
  A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4
  ☆15Updated 4 months ago
• meelgroup / bosphorus
  Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
  ☆71Updated last month
• thery / coqprime
  Prime numbers for Coq
  ☆39Updated this week
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 10 years ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆59Updated 7 years ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆34Updated 2 years ago
• passagemath / LiDIA
  LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …
  ☆30Updated last month
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆60Updated 6 months ago
• strub / elliptic-curves-ssr
  A Formal Library about Elliptic Curves for the Mathematical Components Library.
  ☆15Updated 3 years ago
• dominique-unruh / qrhl-tool
  Proof assistant for qRHL
  ☆21Updated last month