Alternatives and similar repositories for ries

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

• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆62Updated 2 years ago
• mathics / IMathics
  Jupyter Kernel for Mathics
  ☆20Updated 9 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• PeterLuschny / Fast-Factorial-Functions
  Swing, divide and conquer the factorial!
  ☆81Updated 3 years ago
• marijnheule / matrix-challenges
  Challenging SAT benchmarks for matrix multiplication
  ☆11Updated 4 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 5 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Updated 4 years ago
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆44Updated 8 months ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆63Updated last month
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆49Updated 2 years ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆17Updated 2 weeks ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆38Updated 11 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 7 months ago
• metamath / metamath-book
  Source of metamath book
  ☆52Updated 2 years ago
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆53Updated 4 months ago
• penguian / glucat
  GluCat: Clifford algebra templates
  ☆22Updated this week
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Updated 5 months ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆37Updated this week
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• llnl / backstroke
  A tool for reversible computation in C++ based on incremental state saving.
  ☆22Updated 5 years ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆49Updated this week
• jlumbroso / encyclopedia-of-combinatorial-structures-data
  Encyclopedia of Combinatorial Structures
  ☆15Updated 7 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated last month
• paulknysh / sym
  A Mathematica package for generating symbolic models from data
  ☆48Updated 3 years ago
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆97Updated 2 months ago
• sagemath / sage-binder-env
  A Binder repo for SageMath computing environment
  ☆35Updated this week