Four color theorem, Guthrie, Kempe, Tait and other people and stuff
☆10Sep 27, 2026Updated last month
Alternatives and similar repositories for maps-coloring-python
Users that are interested in maps-coloring-python are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An interactive, visual demonstration of the four color theorem.☆26Oct 19, 2021Updated 5 years ago
- Gonthier's formal proof of the 4-color theorem, in Coq.☆12Dec 29, 2015Updated 10 years ago
- Map coloring, using four colors☆57Dec 15, 2023Updated 2 years ago
- ☆11Jun 11, 2016Updated 10 years ago
- Web testing library for Robot Framework☆10Dec 11, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆14Jun 2, 2022Updated 4 years ago
- some demo to show how to write imagepy plugin☆12Jun 25, 2020Updated 6 years ago
- A list reordering component for Halogen. Named by @justinwoo. (GitHub suggested "verbose-chainsaw".)☆15Aug 16, 2019Updated 7 years ago
- Geometry Radio Frequency Library by Chris Tralie☆10Jan 6, 2016Updated 10 years ago
- Pure Python 3 JsonLogic and CertLogic implementation.☆26Sep 12, 2021Updated 5 years ago
- ☆10Oct 12, 2023Updated 3 years ago
- https://marketplace.visualstudio.com/items?itemName=2gua.rainbow-brackets☆14Mar 22, 2019Updated 7 years ago
- pure numpy-based inference CNN framework☆12Apr 1, 2020Updated 6 years ago
- A dynamic exploration of a fascinating algorithm☆20Jun 15, 2015Updated 11 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- C++/C code for Line Segment Detector☆13Mar 11, 2015Updated 11 years ago
- The Pretty PDF Printer--Converting ODK XlsForm Excel files into "paper questionnaires".☆12Dec 8, 2022Updated 3 years ago
- This repository provides cytogenetics related datasets to investigate the semantic segmentation☆35Oct 25, 2025Updated last year
- The slides and exercises for the spring semester course at ETH Zurich☆12Jun 9, 2017Updated 9 years ago
- A graphical EDA tool☆14Jan 9, 2023Updated 3 years ago
- Configuration required to get cgit working on nginx.☆11Apr 7, 2012Updated 14 years ago
- Play YouTube videos directly in your terminal with synchronized audio using ASCII rendering or ANSI truecolor.☆27Sep 29, 2026Updated last month
- Reproducible Research in Finse☆10Aug 5, 2020Updated 6 years ago
- Using OpenLayers with Skypack☆13Aug 22, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- douyin like☆11Nov 15, 2021Updated 4 years ago
- Code repository for tutorial sample code, solutions and demos hosted on AIandGames.com☆10Sep 20, 2017Updated 9 years ago
- Dumps Apple VMP4 files, used by geod, GeoServices, Maps, and other Apple apps.☆11Jan 6, 2026Updated 9 months ago
- A Rails gem that lets you code surveys, questionnaires, quizzes, etc... and add them to your app.☆13Jul 16, 2020Updated 6 years ago
- A wasmCloud provider for the ollama API☆12Apr 23, 2024Updated 2 years ago
- Arduino sketch for 10 DoF AHRS using the MMC5983MA magnetometer☆14Sep 14, 2020Updated 6 years ago
- Measured llama.cpp benchmarks on AMD Radeon RDNA4 with ROCm: RX 9070 XT + Radeon AI PRO R9700 (48 GB). Qwen3.8, Gemma 4, GLM, gpt-oss; GG…☆17Oct 22, 2026Updated last week
- Lightweight String Graph Construction☆11May 10, 2023Updated 3 years ago
- stl container for numba☆16Apr 15, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Locally Linear Embedding for Regression - Journal of Chemometrics 2015☆11Aug 5, 2015Updated 11 years ago
- HoTT Note-taking action☆25Mar 24, 2019Updated 7 years ago
- When object factories don't work because your data is too complex and creating manual fixtures is cumbersome and brittle: Iron Fixture Ex…☆12Dec 31, 2025Updated 10 months ago
- Flutter plugin to show/hide the iPhone X home indicator.☆15Jul 12, 2022Updated 4 years ago
- ruby binding for MiniSat, which is an open-source SAT solver☆18Oct 10, 2025Updated last year
- A simple library to detect user's attention on page☆13Dec 11, 2022Updated 3 years ago
- this start a http server for flutter web, it can also proxy api requests for Cross-Origin Request.为flutter web启动一个http服务器，并且可以代理api请求，解决跨…☆15Dec 15, 2019Updated 6 years ago