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
  ☆28Updated last week
• pi-base / data
  A community database of topological counterexamples
  ☆134Updated this week
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆406Updated last week
• flintlib / python-flint
  Python bindings for Flint and Arb
  ☆142Updated 3 weeks ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆180Updated 5 months ago
• gap-packages / qpa
  GAP package for quivers and path algebras
  ☆33Updated 2 weeks ago
• gap-packages / PackageManager
  Basic package manager for GAP
  ☆12Updated 2 months ago
• Singular / Singular
  sources for the Singular computer algebra system
  ☆298Updated last week
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆50Updated last week
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆39Updated 2 weeks ago
• math-comp / analysis
  Mathematical Components compliant Analysis Library
  ☆234Updated last week
• mkauers / ore_algebra
  ☆38Updated 2 months ago
• ncatlab / nlab
  Source code for the nLab
  ☆201Updated 10 months ago
• leanprover / vscode-lean4
  Visual Studio Code extension for the Lean 4 proof assistant
  ☆247Updated last week
• emilyriehl / infinity-cosmos
  A blueprint for a formalization of infinity-cosmos theory in Lean.
  ☆86Updated 2 weeks ago
• mo271 / FormalBook
  Formalizing "Proofs from THE BOOK"
  ☆78Updated last week
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆32Updated last year
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆935Updated this week
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆31Updated 6 months ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆64Updated last week
• sagemath / cypari2
  Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
  ☆30Updated 2 weeks ago
• flatsurf / e-antic
  Embedded algebraic number fields
  ☆14Updated last month
• 3-manifolds / SnapPy
  SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…
  ☆114Updated this week
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆68Updated 2 years ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆231Updated last month
• YaelDillies / LeanCamCombi
  Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
  ☆72Updated this week
• leanprover / reference-manual
  The Lean reference manual
  ☆100Updated this week
• 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
• passagemath / passagemath
  General purpose mathematical software system, compatible fork of https://github.com/sagemath/sage supporting modularized installation wit…
  ☆57Updated this week
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆33Updated 7 years ago