digraphs / DigraphsLinks
The GAP package Digraphs
☆42Updated this week
Alternatives and similar repositories for Digraphs
Users that are interested in Digraphs are comparing it to the libraries listed below
Sorting:
- The GAP package Semigroups☆27Updated last week
- A community database of topological counterexamples☆129Updated this week
- Python bindings for Flint and Arb☆138Updated this week
- sources for the Singular computer algebra system☆290Updated last week
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated last week
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆389Updated last week
- Basic package manager for GAP☆12Updated 2 weeks ago
- Find and view documentation in TeX Live☆52Updated 5 months ago
- Mathematical Components compliant Analysis Library☆225Updated last week
- Embed code, results of computations, and plots from the Sage mathematics software suite (https://www.sagemath.org) into LaTeX documents. …☆69Updated 2 years ago
- Crowdsourcing project for the database of numbers of isomorphism types of finite groups☆12Updated last year
- ☆37Updated 2 weeks ago
- Source code for the Mathematics in Lean tutorial.☆171Updated last month
- GAP package for quivers and path algebras☆33Updated 3 weeks ago
- CAP project -- Categories, Algorithms, and Programming☆36Updated 2 weeks ago
- Theorem Proving in Lean 4☆211Updated last month
- All the math/tex files for the Automorphic Project☆19Updated last year
- Embedded algebraic number fields☆14Updated last week
- A Lean file formatter☆69Updated 2 years ago
- Commutative diagrams with TikZ☆53Updated 3 years ago
- Formalizing "Proofs from THE BOOK"☆65Updated last week
- C++ library for semigroups and monoids☆63Updated this week
- General purpose mathematical software system, compatible fork of https://github.com/sagemath/sage supporting modularized installation wit…☆39Updated this week
- CoDi: Commutative Diagrams for TeX☆31Updated 2 months ago
- The Lean reference manual☆81Updated this week
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆82Updated last week
- The "batteries included" extended library for the Lean programming language and theorem prover☆331Updated this week
- 💧 Liquid Tensor Experiment☆206Updated last year
- FLINT (Fast Library for Number Theory)☆532Updated 3 weeks ago
- Mathematical tools to use with amsmath☆65Updated last year