Alternatives and similar repositories for ries

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

• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆17Updated last month
• 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
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆41Updated 8 months ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆57Updated last month
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆50Updated this week
• 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
• rljacobson / FoxySheep
  Compiler Technologies for Mathematica/Wolfram Language.
  ☆36Updated 5 years ago
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆24Updated 2 weeks ago
• paulknysh / sym
  A Mathematica package for generating symbolic models from data
  ☆48Updated 3 years ago
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆63Updated 4 months ago
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆44Updated 9 months ago
• thosgood / translations
  some maths papers in English
  ☆19Updated this week
• metamath / metamath-book
  Source of metamath book
  ☆55Updated 2 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆32Updated 2 years ago
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆18Updated 2 years ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆124Updated 3 years ago
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆32Updated last month
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆38Updated 11 years ago
• marijnheule / matrix-challenges
  Challenging SAT benchmarks for matrix multiplication
  ☆11Updated 4 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• blanchette / logical_verification_2019
  Repository for the course Logical Verification 2019–2020 at VU Amsterdam
  ☆13Updated 6 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆76Updated 2 years ago
• ssmit1986 / lazyLists
  Lazy Lists package for Wolfram Language
  ☆15Updated 6 months ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆64Updated last year
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆22Updated 4 months ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated last year
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago