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 this week
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆47Updated last week
• gap-packages / PackageManager
  Basic package manager for GAP
  ☆12Updated 3 weeks ago
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆31Updated last year
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆129Updated 10 months ago
• gap-packages / qpa
  GAP package for quivers and path algebras
  ☆32Updated 3 weeks ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆68Updated 2 years ago
• 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…
  ☆119Updated last year
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆160Updated last week
• pi-base / data
  A community database of topological counterexamples
  ☆122Updated last week
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆264Updated last week
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆67Updated last year
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆43Updated 2 weeks ago
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆375Updated this week
• uds-psl / coq-library-undecidability
  A library of mechanised undecidability proofs in the Coq proof assistant.
  ☆119Updated 3 months ago
• math-comp / analysis
  Mathematical Components compliant Analysis Library
  ☆221Updated last week
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆197Updated 2 months ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆195Updated last week
• CategoryTheoryArchive / archive
  A digital archive of category theory papers.
  ☆30Updated last year
• chasenorman / CanonicalLean
  A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
  ☆79Updated last week
• rocq-community / coq-ext-lib
  A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
  ☆132Updated 7 months ago
• leanprover / reference-manual
  The Lean reference manual
  ☆72Updated this week
• mkauers / ore_algebra
  ☆36Updated last week
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 8 months ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆30Updated last year
• thosgood / translations
  some maths papers in English
  ☆18Updated this week
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆79Updated 3 years ago
• haruhisa-enomoto / mathlib4-all-tactics
  Markdown file of the list and explanations of all mathlib4 tactics
  ☆44Updated last year
• thescrivener / PursuingStacks
  LaTeX version of Grothendieck's Pursuing Stacks
  ☆49Updated 3 years ago
• leanprover-community / lean4-metaprogramming-book
  ☆256Updated 4 months ago