Alternatives and similar repositories for ries

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

• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆62Updated 2 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated last week
• mathics / IMathics
  Jupyter Kernel for Mathics
  ☆20Updated 9 years ago
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆44Updated 7 months ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 9 months ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Updated 4 years ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆49Updated 2 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• penguian / glucat
  GluCat: Clifford algebra templates
  ☆22Updated 8 months ago
• marijnheule / matrix-challenges
  Challenging SAT benchmarks for matrix multiplication
  ☆11Updated 4 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 4 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 5 months ago
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆18Updated 2 years ago
• poeschko / Mathador
  a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)
  ☆38Updated 13 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆46Updated 3 years ago
• LLNL / backstroke
  A tool for reversible computation in C++ based on incremental state saving.
  ☆22Updated 5 years ago
• logic-tools / nadea
  NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  ☆16Updated 3 years ago
• sagemath / sage-binder-env
  A Binder repo for SageMath computing environment
  ☆33Updated last week
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• JUrban / MPTP2
  ☆19Updated 8 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆37Updated this week
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆64Updated last year
• Riphiphip / mlir_rvsdg
  Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR
  ☆13Updated 2 years ago
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 4 years ago
• uwplse / potpie
  Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
  ☆16Updated last year
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated 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
  ☆31Updated 2 years ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆21Updated last month
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆48Updated last week