A visual demo of the color refinement algorithm
☆17Apr 20, 2025Updated 11 months ago
Alternatives and similar repositories for color-refinement
Users that are interested in color-refinement are comparing it to the libraries listed below
Sorting:
- ☆10Feb 23, 2026Updated 3 weeks ago
- Repo for paper: Exploring the Power of Graph Neural Networks in Solving Linear Optimization Problems, accepted at AISTATS 2024☆18Oct 17, 2023Updated 2 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Deployed version of Tableaunoir. Do not modify this repository.☆11Mar 11, 2026Updated last week
- my dotfiles managed with stow, for macos, nvim, terminal and more☆24Mar 13, 2026Updated last week
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆16Nov 20, 2022Updated 3 years ago
- Figuring out the best words to use for the first guess in WORDLE☆12Jan 4, 2023Updated 3 years ago
- A terminal interface for your AI terminal assistant.☆19May 30, 2025Updated 9 months ago
- ☆24Jan 11, 2026Updated 2 months ago
- 📜 Syntax highlighting and auto indentation for clingo/gringo.☆13Jul 22, 2022Updated 3 years ago
- Spectral Graph Attention Network with Fast Eigen-approximation☆12Dec 24, 2021Updated 4 years ago
- Another attempt for visualizing proofs☆12Nov 19, 2024Updated last year
- draw a beautiful christmas tree in ascii using Golang☆15Oct 19, 2018Updated 7 years ago
- A tool for explainability and debugging in Answer Set Programming.☆15Mar 25, 2025Updated 11 months ago
- Collaborative Game of Life☆14Jun 27, 2025Updated 8 months ago
- ☆13May 12, 2025Updated 10 months ago
- Langage et environnements dédiés à l’algorithmique.☆13Jan 2, 2020Updated 6 years ago
- AST export from Lean 4☆17Jul 25, 2024Updated last year
- Dockerfiles for Iroha☆10Mar 23, 2017Updated 8 years ago
- Bindings to libclingo for the lean4 prover and programming language!☆21Nov 27, 2024Updated last year
- Code for "Weisfeiler and Leman go sparse: Towards higher-order graph embeddings"☆21Jan 27, 2022Updated 4 years ago
- LaTeX package for showing timelines☆14Feb 28, 2023Updated 3 years ago
- Simple, boilerplate-free operations on tree shaped data types. Port of the Uniplate Haskell library into Rust.☆23Mar 12, 2026Updated last week
- Programming Projects for Intermediate Learners☆13Sep 3, 2021Updated 4 years ago
- DEPRICATED: A nix package for using spicetify☆11Jul 28, 2024Updated last year
- Make LilyPond's notational elements available in Lua- and XeLaTeX☆30Sep 27, 2020Updated 5 years ago
- JJS Judging system☆12May 1, 2021Updated 4 years ago
- General purpose program synthetiser with existing Programming By Examples (PBE) pipeline☆21Jan 3, 2026Updated 2 months ago
- PyTorch Extension Library of Optimized Unique Operation☆37Mar 1, 2019Updated 7 years ago
- Engineering Solver helps to do calculations with units and thermodynamic properties in a very fast way.☆18Oct 29, 2025Updated 4 months ago
- color quantization using kmeans+++ for clustering and CIEDE2000 algorithm for color distance☆10Jul 11, 2023Updated 2 years ago
- Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes☆19Jan 16, 2026Updated 2 months ago
- ☆16Jun 19, 2021Updated 4 years ago
- code and data associated with CoMPosT: Characterizing and Evaluating Caricature in LLM Simulations☆11Oct 13, 2023Updated 2 years ago
- ☆32Sep 22, 2021Updated 4 years ago
- Hood debugger, based on the idea of observing functions and structures as they are evaluated.☆20Jun 3, 2018Updated 7 years ago
- Learning Cross-modal Retrieval with Noisy Labels (CVPR 2021, PyTorch Code)☆13Apr 7, 2021Updated 4 years ago
- My personal configuration files built using home-manager.☆18Updated this week