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
  ☆29Updated this week
• gap-packages / PackageManager
  Basic package manager for GAP
  ☆12Updated 2 months ago
• pi-base / data
  A community database of topological counterexamples
  ☆134Updated this week
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆64Updated 2 weeks ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆50Updated this week
• olexandr-konovalov / gnu
  Crowdsourcing project for the database of numbers of isomorphism types of finite groups
  ☆12Updated last year
• flintlib / python-flint
  Python bindings for Flint and Arb
  ☆142Updated this week
• sagemath / sagetex
  Embed code, results of computations, and plots from the Sage mathematics software suite (https://www.sagemath.org) into LaTeX documents. …
  ☆68Updated 2 years ago
• Singular / Singular
  sources for the Singular computer algebra system
  ☆298Updated 2 weeks ago
• gap-packages / qpa
  GAP package for quivers and path algebras
  ☆33Updated last week
• flatsurf / e-antic
  Embedded algebraic number fields
  ☆14Updated 2 months ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆40Updated 3 weeks ago
• leanprover / vscode-lean4
  Visual Studio Code extension for the Lean 4 proof assistant
  ☆247Updated 2 weeks ago
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆406Updated last week
• math-comp / analysis
  Mathematical Components compliant Analysis Library
  ☆235Updated last week
• emilyriehl / infinity-cosmos
  A blueprint for a formalization of infinity-cosmos theory in Lean.
  ☆87Updated this week
• leanprover-community / format_lean
  A Lean file formatter
  ☆71Updated 3 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆184Updated 5 months ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆233Updated last month
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆86Updated 4 months ago
• passagemath / passagemath
  General purpose mathematical software system, compatible fork of https://github.com/sagemath/sage supporting modularized installation wit…
  ☆57Updated 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
• 4ti2 / 4ti2
  A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…
  ☆46Updated 2 months ago
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated 3 months ago
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆24Updated 2 weeks ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆30Updated 12 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆32Updated 2 years ago
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆46Updated last week
• leanprover / reference-manual
  The Lean reference manual
  ☆102Updated this week