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
• Singular / Singular
  sources for the Singular computer algebra system
  ☆295Updated last week
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆399Updated last week
• flintlib / python-flint
  Python bindings for Flint and Arb
  ☆141Updated last month
• pi-base / data
  A community database of topological counterexamples
  ☆132Updated this 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
• gap-packages / PackageManager
  Basic package manager for GAP
  ☆12Updated 2 weeks ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆63Updated this week
• math-comp / analysis
  Mathematical Components compliant Analysis Library
  ☆229Updated last week
• mkauers / ore_algebra
  ☆37Updated 3 weeks ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆48Updated this week
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆176Updated 3 months ago
• leanprover-community / batteries
  The "batteries included" extended library for the Lean programming language and theorem prover
  ☆342Updated this week
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆36Updated 2 weeks ago
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆925Updated last week
• sagemath / cypari2
  Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
  ☆29Updated last month
• ncatlab / nlab
  Source code for the nLab
  ☆193Updated 9 months ago
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆31Updated 4 months ago
• passagemath / passagemath
  General purpose mathematical software system, compatible fork of https://github.com/sagemath/sage supporting modularized installation wit…
  ☆51Updated this week
• leanprover / vscode-lean4
  Visual Studio Code extension for the Lean 4 proof assistant
  ☆241Updated last month
• emilyriehl / infinity-cosmos
  A blueprint for a formalization of infinity-cosmos theory in Lean.
  ☆84Updated last week
• embray / gappy
  Python interface to GAP
  ☆18Updated last year
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆122Updated last year
• gap-packages / JupyterKernel
  Native Jupyter kernel for GAP
  ☆21Updated 2 weeks ago
• flatsurf / e-antic
  Embedded algebraic number fields
  ☆14Updated 2 weeks ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆223Updated 2 weeks ago
• leanprover / reference-manual
  The Lean reference manual
  ☆90Updated this week
• leanprover / verso
  Lean documentation authoring tool
  ☆239Updated this week
• gap-packages / qpa
  GAP package for quivers and path algebras
  ☆33Updated 2 weeks ago
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆302Updated last week