Alternatives and similar repositories for ries:

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

• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆19Updated 4 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 4 months ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• libsemigroups / HPCombi
  Fast combinatorics in C++ using SSE/AVX instruction sets
  ☆16Updated last month
• sagemath / pari-jupyter
  Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/
  ☆11Updated 7 months ago
• mathics / IMathics
  Jupyter Kernel for Mathics
  ☆20Updated 8 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• thosgood / translations
  some maths papers in English
  ☆18Updated 3 weeks ago
• mlochbaum / JtoLaTeX
  Write LaTeX-formatted documents using J evaluation
  ☆18Updated 8 years ago
• baruchel / apl
  An implementation of the APL language in Python with the Numpy module
  ☆29Updated 8 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 10 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• falk-hueffner / sematrope
  Superoptimizer using the z3 SMT solver
  ☆17Updated 4 years ago
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆41Updated last week
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated last year
• sagemath / publications
  Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage
  ☆25Updated 4 months ago
• CRGreathouse / PARI-extensions
  Material for PARI/GP: new functions, some scripts, and syntax highlighting.
  ☆11Updated last year
• ryu577 / GroebnerBasis
  Buchbergers algorithm for computing Groebner basis of polynonmial ideals
  ☆13Updated last year
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆41Updated 3 years ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆10Updated 3 weeks ago
• 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
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated 10 months ago
• loopspace / tilings
  TikZ/PGF package for drawing tilings, such as penrose and polykite tilings
  ☆16Updated last year
• gap-packages / guava
  GAP package guava - computations relative to error-correcting codes
  ☆16Updated last month
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆11Updated last month
• penguian / glucat
  GluCat: Clifford algebra templates
  ☆20Updated last month
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago