Alternatives and similar repositories for ries

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

• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆41Updated 3 weeks ago
• ryu577 / GroebnerBasis
  Buchbergers algorithm for computing Groebner basis of polynonmial ideals
  ☆13Updated last year
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• travisdowns / nasm-utils
  Miscellaneous macros useful for writing x86 asm in nasm or yasm
  ☆7Updated 4 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• brianquinlan / brainfuck-jit
  A simple Brainfuck JIT written as a learning exercise.
  ☆16Updated 5 years ago
• mathics / IMathics
  Jupyter Kernel for Mathics
  ☆20Updated 8 years ago
• gap-system / homebrew-gap
  Homebrew tap for GAP
  ☆14Updated 11 months ago
• thosgood / translations
  some maths papers in English
  ☆18Updated last month
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 9 months ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆44Updated 4 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 10 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆34Updated this week
• mlochbaum / JtoLaTeX
  Write LaTeX-formatted documents using J evaluation
  ☆18Updated 8 years ago
• bluescarni / obake
  A C++20 library for the symbolic manipulation of sparse polynomials & co.
  ☆28Updated 7 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 2 weeks ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated last month
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• wbhart / ccas
  A simple CAS written in C.
  ☆10Updated 10 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• contificate / lr
  An interactive tool for experimenting with LR(1) grammars
  ☆14Updated 3 years ago
• stephenathel / gawxm
  Geometric Algebra using wxMaxima (GAwxM)
  ☆13Updated last month
• 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
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆33Updated 3 years ago
• penguian / glucat
  GluCat: Clifford algebra templates
  ☆20Updated 2 months ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆19Updated 5 months ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆61Updated this week
• blambov / RealLib
  Library for exact real number computations
  ☆39Updated 10 years ago