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
  ☆26Updated last week
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆382Updated this week
• math-comp / analysis
  Mathematical Components compliant Analysis Library
  ☆224Updated this week
• gap-packages / PackageManager
  Basic package manager for GAP
  ☆12Updated 2 months ago
• pi-base / data
  A community database of topological counterexamples
  ☆125Updated this week
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆67Updated last year
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆165Updated last week
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆133Updated last year
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆31Updated last month
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 9 months ago
• rocq-community / coq-ext-lib
  A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
  ☆134Updated 8 months ago
• gap-packages / qpa
  GAP package for quivers and path algebras
  ☆32Updated last month
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆44Updated 2 weeks ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆199Updated 3 months ago
• ncatlab / nlab
  Source code for the nLab
  ☆181Updated 5 months ago
• thescrivener / PursuingStacks
  LaTeX version of Grothendieck's Pursuing Stacks
  ☆50Updated 3 years ago
• leanprover / vscode-lean4
  Visual Studio Code extension for the Lean 4 proof assistant
  ☆224Updated last week
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆262Updated last week
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆34Updated this week
• leanprover / reference-manual
  The Lean reference manual
  ☆78Updated this week
• b-mehta / unit-fractions
  ☆15Updated last year
• alexkeizer / QpfTypes
  A WIP definitional (co)datatype package for Lean4
  ☆42Updated last week
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆267Updated this week
• leanprover-community / doc-gen
  Generate HTML documentation for mathlib and Lean
  ☆21Updated 11 months ago
• automorphic-project / automorphic-project
  All the math/tex files for the Automorphic Project
  ☆19Updated last year
• kmill / LeanTeX
  Lean 4 library for pretty printing expressions as LaTeX
  ☆30Updated 5 months ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆68Updated 2 years ago
• CategoryTheoryArchive / archive
  A digital archive of category theory papers.
  ☆31Updated last month
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆203Updated 3 weeks ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆261Updated this week