A visual demo of the color refinement algorithm
☆20Apr 20, 2025Updated last year
Alternatives and similar repositories for color-refinement
Users that are interested in color-refinement are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Deployed version of Tableaunoir. Do not modify this repository.☆11Apr 19, 2026Updated 6 months ago
- A game I made with my kids☆14Apr 28, 2026Updated 6 months 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 3 years ago
- Data Package, Python and JavaScript module with country groups☆21Jun 12, 2026Updated 4 months ago
- A parser class for simple formulae.☆11Feb 21, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Draw or animate with a mouse in your terminal☆11Feb 25, 2023Updated 3 years ago
- Tool to perform various types of inference in probabilistic answer set programs under the credal semantics and with statistical statement…☆11Sep 28, 2026Updated last month
- A template for bootstrapping AbletonLive ControlSurface projects☆14Jan 31, 2022Updated 4 years ago
- Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.☆13Oct 26, 2025Updated last year
- Statement - theorems and statement support in Pandoc's markdown☆19Dec 16, 2024Updated last year
- ☆16May 20, 2020Updated 6 years ago
- ☆27Apr 15, 2026Updated 6 months ago
- A tiny tikzzz editor in the browser☆10Mar 29, 2025Updated last year
- ☆13Jun 18, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Library for Data Decision Diagrams and Set Decision Diagrams☆16Sep 10, 2025Updated last year
- IJCAI-24 Tutorial on Counterfactual Explanations: https://sites.google.com/view/tut-counterfactuals-ijcai24/☆12Aug 5, 2024Updated 2 years ago
- A private second brain desktop app — Tauri 2.x + React + Rust + Ollama☆24Updated this week
- Spectral Graph Attention Network with Fast Eigen-approximation☆11Dec 24, 2021Updated 4 years ago
- Figuring out the best words to use for the first guess in WORDLE☆12Jan 4, 2023Updated 3 years ago
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆17Dec 8, 2023Updated 2 years ago
- a libp2p-backed daemon wrapping the functionalities of go-libp2p for use in other languages☆12Feb 9, 2025Updated last year
- Graph Feature Representation/Vector Based On The Family Of Graph Spectral Distances (NIPS 2017).☆24Mar 21, 2020Updated 6 years ago
- A stb-style single-header cross-platform windowing library for software rendered applications☆16Jul 15, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 📜 Syntax highlighting and auto indentation for clingo/gringo.☆13Jul 22, 2022Updated 4 years ago
- ☆12Jun 28, 2021Updated 5 years ago
- Qute: a dependency learning QBF solver.☆18Mar 31, 2026Updated 7 months ago
- Code for AAAI21 paper "Scalable and Explainable 1-Bit Matrix Completion via Graph Signal Learning"☆11Feb 15, 2022Updated 4 years ago
- DEPRICATED: A nix package for using spicetify☆11Jul 28, 2024Updated 2 years ago
- A tiny library which contains tools to convert, minimize and visualize Regular Expressions, NFA and DFA.☆13May 21, 2021Updated 5 years ago
- An implementation of the Tsetlin Machine in Rust☆16Apr 15, 2018Updated 8 years ago
- My dotfiles: i3wm, neovim, zsh, xkb, termite.☆11Aug 6, 2020Updated 6 years ago
- A tool for explainability and debugging in Answer Set Programming.☆17May 15, 2026Updated 5 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆14May 12, 2025Updated last year
- JJS Judging system☆12May 29, 2026Updated 5 months ago
- Bindings to libclingo for the lean4 prover and programming language!☆22Nov 27, 2024Updated last year
- LaTeX package for showing timelines☆14Feb 28, 2023Updated 3 years ago
- Hood debugger, based on the idea of observing functions and structures as they are evaluated.☆20Jun 3, 2018Updated 8 years ago
- Engineering Solver helps to do calculations with units and thermodynamic properties in a very fast way.☆19Jun 25, 2026Updated 4 months ago
- An implementation of a simple Neural network in Idris using category theory.☆25Sep 18, 2024Updated 2 years ago