Alternatives and similar repositories for Digraphs

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

• semigroups / Semigroups
  The GAP package Semigroups
  ☆27Updated last week
• flintlib / python-flint
  Python bindings for Flint and Arb
  ☆141Updated last week
• pi-base / data
  A community database of topological counterexamples
  ☆132Updated this week
• Singular / Singular
  sources for the Singular computer algebra system
  ☆293Updated this week
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆175Updated 3 months ago
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆396Updated last week
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆48Updated 3 weeks ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆62Updated last week
• gap-packages / PackageManager
  Basic package manager for GAP
  ☆12Updated 2 weeks ago
• flatsurf / e-antic
  Embedded algebraic number fields
  ☆14Updated last week
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆219Updated 3 weeks ago
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆921Updated last week
• sagemath / sagetex
  Embed code, results of computations, and plots from the Sage mathematics software suite (https://www.sagemath.org) into LaTeX documents. …
  ☆69Updated 2 years ago
• math-comp / analysis
  Mathematical Components compliant Analysis Library
  ☆229Updated 2 weeks ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆51Updated last year
• mkauers / ore_algebra
  ☆37Updated this week
• olexandr-konovalov / gnu
  Crowdsourcing project for the database of numbers of isomorphism types of finite groups
  ☆12Updated last year
• rocq-prover / platform
  Multi platform setup for Coq, Coq libraries and tools
  ☆215Updated 2 weeks ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆36Updated 2 months ago
• flintlib / flint
  FLINT (Fast Library for Number Theory)
  ☆538Updated last week
• leanprover / vscode-lean4
  Visual Studio Code extension for the Lean 4 proof assistant
  ☆238Updated last week
• YaelDillies / LeanCamCombi
  Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
  ☆61Updated this week
• leanprover-community / batteries
  The "batteries included" extended library for the Lean programming language and theorem prover
  ☆339Updated this week
• passagemath / passagemath
  General purpose mathematical software system, compatible fork of https://github.com/sagemath/sage supporting modularized installation wit…
  ☆48Updated this week
• ncatlab / nlab
  Source code for the nLab
  ☆189Updated 8 months ago
• JohnCremona / ecdata
  Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…
  ☆21Updated last year
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆301Updated last week
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆84Updated last month
• TeX-Live / texdoc
  Find and view documentation in TeX Live
  ☆52Updated 7 months ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆297Updated this week