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
  ☆24Updated last month
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆45Updated this week
• gap-packages / PackageManager
  Basic package manager for GAP
  ☆12Updated last month
• b-mehta / unit-fractions
  ☆15Updated last year
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆30Updated 9 months ago
• thosgood / translations
  some maths papers in English
  ☆18Updated 2 months ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆64Updated last year
• HEPLean / HepLean
  A project to digitalise results from high energy physics into Lean.
  ☆105Updated this week
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆25Updated 3 weeks ago
• libsemigroups / HPCombi
  Fast combinatorics in C++ using SSE/AVX instruction sets
  ☆15Updated 2 weeks ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated 2 months ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated 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…
  ☆119Updated 10 months ago
• thescrivener / PursuingStacks
  LaTeX version of Grothendieck's Pursuing Stacks
  ☆47Updated 3 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆42Updated 4 years ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆190Updated 7 months ago
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆37Updated last week
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆121Updated 5 months ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆103Updated last week
• gap-packages / sgpdec
  GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups
  ☆19Updated last month
• gap-packages / qpa
  GAP package for quivers and path algebras
  ☆30Updated this week
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆353Updated last week
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆74Updated 2 years ago
• nomeata / loogle
  Mathlib search tool
  ☆74Updated last week
• leanprover-community / doc-gen
  Generate HTML documentation for mathlib and Lean
  ☆21Updated 4 months ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆78Updated this week
• leanprover-community / duper
  ☆60Updated 2 weeks ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆66Updated last year
• YaelDillies / LeanCamCombi
  Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
  ☆50Updated this week
• OpenLogicProject / photos
  Digital images used as illustrations in the Open Logic Project
  ☆6Updated 8 years ago