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
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆10Updated this week
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆46Updated this week
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆51Updated last month
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 2 months ago
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆27Updated last month
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆57Updated 4 months ago
• meelgroup / bosphorus
  Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
  ☆68Updated 4 months ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆55Updated 3 months ago
• ths-rwth / smtrat
  ☆52Updated last week
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆58Updated 4 months ago
• VeriNum / vcfloat
  VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
  ☆28Updated last month
• SRI-CSL / libpoly
  LibPoly is a C library for manipulating polynomials
  ☆51Updated 3 months ago
• strub / elliptic-curves-ssr
  A Formal Library about Elliptic Curves for the Mathematical Components Library.
  ☆15Updated 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…
  ☆37Updated last year
• coq-community / bits
  A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…
  ☆23Updated last month
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆34Updated last year
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆47Updated 4 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 3 months ago
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆85Updated last month
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated 5 months ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆78Updated last year
• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• MixedMatched / juniper
  A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4
  ☆14Updated 2 months ago
• thery / coqprime
  Prime numbers for Coq
  ☆37Updated 2 months ago
• SSoelvsten / adiar
  An I/O-efficient implementation of (Binary) Decision Diagrams
  ☆27Updated this week
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆42Updated last year
• coq-community / bignums
  Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…
  ☆22Updated last month
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated 3 weeks ago