Alternatives and similar repositories for ries

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

• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆14Updated last month
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆41Updated last month
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆19Updated 2 weeks ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated 2 years ago
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 3 months ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆48Updated 3 years ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆41Updated 3 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated 2 months ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated 2 weeks ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆45Updated 4 years ago
• libsemigroups / HPCombi
  Fast combinatorics in C++ using SSE/AVX instruction sets
  ☆16Updated 2 months ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated last month
• LLNL / backstroke
  A tool for reversible computation in C++ based on incremental state saving.
  ☆22Updated 5 years ago
• blanchette / logical_verification_2019
  Repository for the course Logical Verification 2019–2020 at VU Amsterdam
  ☆13Updated 5 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆29Updated last year
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• JohnCremona / eclib
  The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…
  ☆23Updated last week
• CRGreathouse / PARI-extensions
  Material for PARI/GP: new functions, some scripts, and syntax highlighting.
  ☆11Updated last year
• digama0 / mm-lean4
  Lean 4 Metamath verifier
  ☆18Updated last week
• aposwolsky / delphin
  The Delphin Project
  ☆10Updated 8 years ago
• maxdore / elfe
  Interactive Theorem Proving for students
  ☆20Updated last year
• maxtuno / slime-sat-solver
  A Free World Class High Performance SAT Solver
  ☆20Updated 3 years ago
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆20Updated 6 years 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