Alternatives and similar repositories for color-refinement:

Users that are interested in color-refinement are comparing it to the libraries listed below

• zawagner22 / cross-entropy-for-combinatorics
  Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
  ☆55Updated 3 years ago
• kamel-usp / dpasp
  Differentiable probabilistic answer set programming
  ☆20Updated 4 months ago
• jrclogic / SMCDEL
  A symbolic model checker for Dynamic Epistemic Logic.
  ☆46Updated last month
• m4lvin / tablean
  Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.
  ☆13Updated last year
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆250Updated 4 months ago
• leanprover-community / mathport
  Mathport is a tool for porting Lean3 projects to Lean4
  ☆43Updated 4 months ago
• Ebanflo42 / Persistence
  A topological data analysis library for Haskell
  ☆29Updated 4 years ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆77Updated 3 years ago
• dignissimus / Untangle
  Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4
  ☆25Updated 9 months ago
• chrisheunen / freetikz
  FreeTikZ
  ☆38Updated 7 years ago
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 4 years ago
• madvorak / lean4-cheatsheet
  Printable (A4) overview of tactics in Lean 4 for beginners
  ☆24Updated 6 months ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• madvorak / lean4-tactics
  Overview of tactics in Lean 4 for beginners — longer version
  ☆78Updated 6 months ago
• PierreSenellart / apxproof
  LaTeX package for automatically putting proof environments in appendix
  ☆26Updated last year
• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆11Updated 7 years ago
• dwrensha / lean4-maze
  maze game encoded in Lean 4 syntax
  ☆53Updated 4 months ago
• jbrkr / Category_Theory_Natural_Language_Processing_NLP
  List of papers and other resources at the intersection of Category Theory and NLP.
  ☆52Updated 2 years ago
• lean-mine / baby-rudin-project
  An attempt to formalize every problem in Baby Rudin with natural language descripiton
  ☆17Updated 2 months ago
• arquicanedo / graph2sheaves
  Sheaves library for graph abstractions based on NetworkX
  ☆15Updated 5 years ago
• ToposInstitute / poly
  ☆113Updated 8 months ago
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆47Updated 3 years ago
• dicai / pygraphon
  Python library for working with graphons
  ☆22Updated 7 years ago
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆29Updated 5 months ago
• fbanados / research-howto
  Notes about research.
  ☆8Updated 3 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆45Updated last month
• leanprover / lean-client-js
  ☆38Updated last year
• thosgood / sga
  An English translation of the Séminaire de Géométrie Algébrique du Bois Marie
  ☆31Updated last month
• ncatlab / nlab
  Source code for the nLab
  ☆171Updated 2 weeks ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆112Updated 5 months ago