Alternatives and similar repositories for Encyclopedia-of-Finite-Graphs

Users that are interested in Encyclopedia-of-Finite-Graphs are comparing it to the libraries listed below

• b-mehta / combinatorics
  ☆23Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆47Updated this week
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 7 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆29Updated last year
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• fritzo / pomagma
  An inference engine for extensional untyped λ-calculus
  ☆3Updated this week
• flatsurf / e-antic
  Embedded algebraic number fields
  ☆13Updated last month
• oscar-system / Singular.jl
  Julia package for the Singular library
  ☆34Updated this week
• hansenjakob / SheafLearning.jl
  Julia package for learning cellular sheaf Laplacians
  ☆16Updated 4 years ago
• wbhart / AbstractAlgebra.jl
  Generic abstract algebra functionality in pure Julia (no C dependencies)
  ☆54Updated 2 years ago
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆61Updated 3 months ago
• MurrayT / OEIS.jl
  A basic wrapper to allow access to OEIS from within Julia.
  ☆17Updated 5 years ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• sagemath / cypari2
  Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
  ☆29Updated 3 weeks ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆18Updated 3 years ago
• TotalVerb / SExpressions.jl
  Assorted s-expression utilities for Julia
  ☆16Updated last year
• 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
• jamii / Blobs.jl
  Binary blobs with on-the-fly pointer patching
  ☆17Updated 6 years ago
• zenna / Z3.jl
  Julia wrapper for The Z3 Theorem Prover (SMT Solver)
  ☆24Updated 7 years ago
• rljacobson / FoxySheep
  Compiler Technologies for Mathematica/Wolfram Language.
  ☆36Updated 4 years ago
• dfdx / XDiff.jl
  eXpression differentiation in Julia
  ☆29Updated 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…
  ☆21Updated this week
• roberthoenig / FirstOrderLogic.jl
  Julia package for parsing, manipulating and evaluating formulas in first-order logic.
  ☆19Updated 5 years ago
• habemus-papadum / LilKanren.jl
  A collection of Kanren implementations in Julia
  ☆24Updated 8 years ago
• pablolessa / dibujos_hiperbolicos
  A python tool to create drawings in the hyperbolic disk (e.g. for inclusion in LaTex documents). The output is either a Tikz figure (a .…
  ☆10Updated last year
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆15Updated last month
• JeffreySarnoff / FastRationals.jl
  Arithmetic with small and with very large rationals is made fast.
  ☆22Updated last year
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆48Updated last month