Alternatives and similar repositories for ries

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

• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆33Updated 4 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆80Updated last year
• blanchette / logical_verification_2019
  Repository for the course Logical Verification 2019–2020 at VU Amsterdam
  ☆13Updated 5 years ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆48Updated 3 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated 2 weeks ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆42Updated 3 years ago
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆41Updated 2 months ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆49Updated last week
• mathics / IMathics
  Jupyter Kernel for Mathics
  ☆20Updated 8 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆15Updated 2 months ago
• jlumbroso / encyclopedia-of-combinatorial-structures-data
  Encyclopedia of Combinatorial Structures
  ☆14Updated 7 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆20Updated last month
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 2 months ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• JUrban / MPTP2
  ☆19Updated 8 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated 11 months ago
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆91Updated 3 weeks ago
• nickgildea / z3_codegen
  A toy code generator (i.e. "program synthesis") using the Z3 solver
  ☆35Updated 7 years ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated last year
• bluescarni / obake
  A C++20 library for the symbolic manipulation of sparse polynomials & co.
  ☆28Updated 9 months ago
• maxtuno / slime-sat-solver
  A Free World Class High Performance SAT Solver
  ☆20Updated 4 years ago
• aryx / yacfe
  Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…
  ☆25Updated 6 years ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated last year
• marijnheule / matrix-challenges
  Challenging SAT benchmarks for matrix multiplication
  ☆11Updated 3 years ago
• maths / PRESS
  PRolog Equation Solving System
  ☆30Updated 8 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆30Updated last year