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 last week
• math-comp / analysis
  Mathematical Components compliant Analysis Library
  ☆220Updated last week
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆31Updated last year
• leanprover / reference-manual
  The Lean reference manual
  ☆68Updated this week
• rocq-community / coq-ext-lib
  A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
  ☆131Updated 6 months ago
• mikeshulman / basictex
  My basic LaTeX macros and BibTeX file.
  ☆13Updated 2 years ago
• digama0 / lean4lean
  Lean 4 kernel / 'external checker' written in Lean 4
  ☆106Updated this week
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 7 months ago
• thescrivener / PursuingStacks
  LaTeX version of Grothendieck's Pursuing Stacks
  ☆49Updated 3 years ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆28Updated this week
• gap-packages / sgpdec
  GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups
  ☆19Updated last week
• haruhisa-enomoto / mathlib4-all-tactics
  Markdown file of the list and explanations of all mathlib4 tactics
  ☆42Updated last year
• ncatlab / nlab
  Source code for the nLab
  ☆177Updated 3 months ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆68Updated 2 years ago
• rocq-prover / opam
  Archive for all Rocq and Coq-related opam packages organized in various repositories
  ☆142Updated this week
• YaelDillies / LeanCamCombi
  Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
  ☆59Updated 3 weeks ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆263Updated 4 months ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆127Updated 10 months ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆78Updated 3 years ago
• olexandr-konovalov / gnu
  Crowdsourcing project for the database of numbers of isomorphism types of finite groups
  ☆12Updated last year
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆43Updated 2 weeks ago
• uds-psl / coq-library-undecidability
  A library of mechanised undecidability proofs in the Coq proof assistant.
  ☆119Updated 2 months ago
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆24Updated 11 months ago
• pi-base / data
  A community database of topological counterexamples
  ☆122Updated this week
• flintlib / python-flint
  Python bindings for Flint and Arb
  ☆136Updated this week
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆104Updated 4 months ago
• rocq-community / coq-dpdgraph
  Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
  ☆90Updated 3 weeks ago