Alternatives and similar repositories for BRiAl:

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

• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆26Updated this week
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆57Updated 3 months ago
• cr-marcstevens / m4gb
  M4GB: Efficient Groebner Basis algorithm
  ☆54Updated 6 years ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆54Updated 2 months ago
• blanchette / logical_verification_2019
  Repository for the course Logical Verification 2019–2020 at VU Amsterdam
  ☆13Updated 5 years ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated last year
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆51Updated this week
• ths-rwth / smtrat
  ☆52Updated 2 months ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated this week
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆79Updated last month
• 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 3 weeks ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 2 years ago
• libsemigroups / HPCombi
  Fast combinatorics in C++ using SSE/AVX instruction sets
  ☆15Updated 2 weeks ago
• meelgroup / bosphorus
  Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
  ☆68Updated 3 months ago
• coq-community / alea
  Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
  ☆25Updated 3 years ago
• SRI-CSL / libpoly
  LibPoly is a C library for manipulating polynomials
  ☆50Updated last month
• passagemath / LiDIA
  LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …
  ☆28Updated 5 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆57Updated 3 months ago
• MixedMatched / juniper
  A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4
  ☆14Updated last month
• arminbiere / gimsatul
  ☆34Updated 7 months ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆34Updated last year
• coq-community / buchberger
  Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
  ☆9Updated last year
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆27Updated 7 months ago
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated 4 months ago
• VeraLiconaResearchGroup / MHSGenerationAlgorithms
  ☆15Updated 7 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated last month
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆45Updated last week
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆61Updated 3 weeks ago
• strub / elliptic-curves-ssr
  A Formal Library about Elliptic Curves for the Mathematical Components Library.
  ☆15Updated 3 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆47Updated 4 years ago