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
  ☆27Updated this week
• pi-base / data
  A community database of topological counterexamples
  ☆131Updated this week
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆48Updated last week
• Singular / Singular
  sources for the Singular computer algebra system
  ☆294Updated this week
• gap-packages / PackageManager
  Basic package manager for GAP
  ☆12Updated last week
• flintlib / python-flint
  Python bindings for Flint and Arb
  ☆139Updated this week
• sagemath / sagetex
  Embed code, results of computations, and plots from the Sage mathematics software suite (https://www.sagemath.org) into LaTeX documents. …
  ☆69Updated 2 years ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆62Updated this week
• mkauers / ore_algebra
  ☆37Updated last month
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆394Updated last week
• math-comp / analysis
  Mathematical Components compliant Analysis Library
  ☆228Updated last week
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆174Updated 2 months ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆215Updated last week
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆83Updated last month
• olexandr-konovalov / gnu
  Crowdsourcing project for the database of numbers of isomorphism types of finite groups
  ☆12Updated last year
• flatsurf / e-antic
  Embedded algebraic number fields
  ☆14Updated last week
• DominikPeters / pgf-tikz-html-manual
  HTML version of pgf-tikz documentation
  ☆50Updated 2 months ago
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆375Updated this week
• oscar-system / Oscar.jl
  A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
  ☆441Updated last week
• passagemath / passagemath
  General purpose mathematical software system, compatible fork of https://github.com/sagemath/sage supporting modularized installation wit…
  ☆40Updated this week
• TeX-Live / texdoc
  Find and view documentation in TeX Live
  ☆52Updated 6 months ago
• emilyriehl / infinity-cosmos
  A blueprint for a formalization of infinity-cosmos theory in Lean.
  ☆81Updated last week
• 4ti2 / 4ti2
  A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…
  ☆43Updated 3 months ago
• YaelDillies / LeanCamCombi
  Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
  ☆60Updated 2 weeks ago
• gap-packages / qpa
  GAP package for quivers and path algebras
  ☆33Updated last week
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆36Updated last month
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆28Updated 12 years ago
• jlaurens / synctex
  Synchronization for TeX
  ☆79Updated 2 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆915Updated this week