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
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 9 years ago
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆39Updated 3 weeks ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 10 years ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• travisdowns / nasm-utils
  Miscellaneous macros useful for writing x86 asm in nasm or yasm
  ☆7Updated 4 years ago
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆31Updated 9 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated last year
• mlochbaum / JtoLaTeX
  Write LaTeX-formatted documents using J evaluation
  ☆18Updated 8 years ago
• JohnEarnest / Four.Ps
  A minimal Forth VM and Compiler implemented in PostScript
  ☆27Updated 13 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated 2 weeks ago
• ryu577 / GroebnerBasis
  Buchbergers algorithm for computing Groebner basis of polynonmial ideals
  ☆13Updated last year
• henrikurms / tail2futhark
  ☆18Updated 6 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
• 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
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆47Updated 4 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• mjdominus / cf
  Continued fraction library
  ☆29Updated 4 years ago
• mathics / IMathics
  Jupyter Kernel for Mathics
  ☆20Updated 8 years ago
• baruchel / apl
  An implementation of the APL language in Python with the Numpy module
  ☆29Updated 8 years ago
• Hypersonic / bf_symex
  symbolic execution engine for brainfuck because lol
  ☆13Updated 8 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• bluescarni / obake
  A C++20 library for the symbolic manipulation of sparse polynomials & co.
  ☆28Updated 5 months ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆19Updated 3 months ago
• Anniepoo / swiplchrtut
  Tutorial for the CHR system
  ☆16Updated 4 years ago
• cr-marcstevens / sha1collisiondetection-tools
  Tools used to make the SHA-1 collision detection library
  ☆12Updated 8 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆69Updated 8 years ago
• SacBase / Stdlib
  This repository contains the Core and Extended source files of the Standard Library of the SaC programming language
  ☆14Updated last week
• embecosm / gnu-superopt
  The GNU Superoptimizer
  ☆26Updated 10 years ago
• libsemigroups / HPCombi
  Fast combinatorics in C++ using SSE/AVX instruction sets
  ☆15Updated 2 weeks ago