digraphs / Digraphs

Related projects ⓘ

Alternatives and complementary repositories for Digraphs

• semigroups / Semigroups
  The GAP package Semigroups
  ☆23Updated this week
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆45Updated this week
• gap-packages / PackageManager
  Basic package manager for GAP
  ☆12Updated last week
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆30Updated 6 months ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆24Updated last week
• leanprover-community / format_lean
  A Lean file formatter
  ☆62Updated last year
• leanprover / lean4-cli
  A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
  ☆69Updated last week
• gap-packages / qpa
  GAP package for quivers and path algebras
  ☆30Updated 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…
  ☆119Updated 8 months ago
• nomeata / loogle
  Mathlib search tool
  ☆62Updated this week
• thosgood / translations
  some maths papers in English
  ☆17Updated last month
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated last month
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆36Updated last month
• sunnyquiver / QPA2
  ☆9Updated last month
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆74Updated 2 years ago
• gap-packages / sgpdec
  GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups
  ☆18Updated 4 months ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆40Updated 4 months ago
• leanprover / lean4-nightly
  Nightly builds
  ☆22Updated this week
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆46Updated 2 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆63Updated last year
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆117Updated 2 months ago
• tydeu / lean4-alloy
  Write C shims from within Lean code.
  ☆50Updated 2 weeks ago
• leanprover / LeanInk
  LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
  ☆60Updated 3 months ago
• dignissimus / Untangle
  Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4
  ☆23Updated 4 months ago
• CategoryTheoryArchive / archive
  A digital archive of category theory papers.
  ☆20Updated 8 months ago
• digama0 / lean-type-theory
  LaTeX code for a paper on lean's type theory
  ☆119Updated 2 years ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆77Updated 2 weeks ago
• digama0 / lean4lean
  Lean 4 kernel / 'external checker' written in Lean 4
  ☆72Updated last week
• haruhisa-enomoto / mathlib4-all-tactics
  Markdown file of the list and explanations of all mathlib4 tactics
  ☆29Updated 10 months ago
• b-mehta / topos
  Topos theory in lean
  ☆56Updated 3 years ago