Alternatives and similar repositories for ries:

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

• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• JUrban / MPTP2
  ☆19Updated 7 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
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆18Updated last month
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆37Updated last year
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆47Updated 3 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆44Updated 4 years ago
• LLNL / backstroke
  A tool for reversible computation in C++ based on incremental state saving.
  ☆22Updated 4 years ago
• GaloisInc / jvm-verifier
  The Java Symbolic Simulator, part of SAW.
  ☆10Updated 4 years ago
• libsemigroups / HPCombi
  Fast combinatorics in C++ using SSE/AVX instruction sets
  ☆15Updated 2 weeks ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆43Updated 3 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 9 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated last month
• cseed / knotkit
  knot theory and computational algebra software
  ☆36Updated 10 years ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• wbhart / ccas
  A simple CAS written in C.
  ☆10Updated 9 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.
  ☆17Updated last year
• GaloisInc / dismantle
  A library of assemblers and disassemblers derived from LLVM TableGen data
  ☆25Updated 5 months ago
• mathics / IMathics
  Jupyter Kernel for Mathics
  ☆20Updated 8 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 11 years ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆10Updated 7 years ago
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆31Updated 9 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆80Updated last year
• bakerjd99 / jod
  jod distribution source with commented versions in (jodijs) - tracks J Pacman versions
  ☆10Updated 2 months ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated 5 months ago