Alternatives and similar repositories for ries:

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

• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 6 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• LLNL / backstroke
  A tool for reversible computation in C++ based on incremental state saving.
  ☆22Updated 4 years ago
• wbhart / ccas
  A simple CAS written in C.
  ☆10Updated 9 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 11 months ago
• thosgood / translations
  some maths papers in English
  ☆18Updated last week
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆32Updated 3 years ago
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆21Updated 6 years ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated last year
• sagemath / pari-jupyter
  Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/
  ☆11Updated 6 months ago
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆39Updated 2 weeks ago
• libsemigroups / HPCombi
  Fast combinatorics in C++ using SSE/AVX instruction sets
  ☆15Updated last month
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆18Updated 2 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 2 months ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆40Updated 3 years ago
• b-mehta / exponential-ramsey
  ☆14Updated last year
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆49Updated 4 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years 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
  ☆32Updated last year
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated last week
• bakerjd99 / jod
  jod distribution source with commented versions in (jodijs) - tracks J Pacman versions
  ☆10Updated 3 weeks ago
• 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
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆31Updated 9 years ago
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆19Updated 9 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆44Updated 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
• leanprover / presentations
  lean-related presentations
  ☆16Updated last year