Four color theorem, Guthrie, Kempe, Tait and other people and stuff
☆10Jul 3, 2026Updated 3 weeks ago
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.☆27Oct 19, 2021Updated 4 years ago
- Gonthier's formal proof of the 4-color theorem, in Coq.☆12Dec 29, 2015Updated 10 years ago
- Pure Python 3 JsonLogic and CertLogic implementation.☆26Sep 12, 2021Updated 4 years ago
- Map coloring, using four colors☆56Dec 15, 2023Updated 2 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.
- ☆11Jun 11, 2016Updated 10 years ago
- ☆14Jun 2, 2022Updated 4 years ago
- Geometry Radio Frequency Library by Chris Tralie☆10Jan 6, 2016Updated 10 years ago
- A dynamic exploration of a fascinating algorithm☆20Jun 15, 2015Updated 11 years ago
- A list reordering component for Halogen. Named by @justinwoo. (GitHub suggested "verbose-chainsaw".)☆15Aug 16, 2019Updated 6 years ago
- ☆10Oct 12, 2023Updated 2 years ago
- pure numpy-based inference CNN framework☆12Apr 1, 2020Updated 6 years ago
- The Pretty PDF Printer--Converting ODK XlsForm Excel files into "paper questionnaires".☆12Dec 8, 2022Updated 3 years ago
- https://marketplace.visualstudio.com/items?itemName=2gua.rainbow-brackets☆14Mar 22, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- C++/C code for Line Segment Detector☆12Mar 11, 2015Updated 11 years ago
- Reproducible Research in Finse☆10Aug 5, 2020Updated 5 years ago
- Code repository for tutorial sample code, solutions and demos hosted on AIandGames.com☆10Sep 20, 2017Updated 8 years ago
- The slides and exercises for the spring semester course at ETH Zurich☆12Jun 9, 2017Updated 9 years ago
- A Rails gem that lets you code surveys, questionnaires, quizzes, etc... and add them to your app.☆13Jul 16, 2020Updated 6 years ago
- This repository provides cytogenetics related datasets to investigate the semantic segmentation☆35Oct 25, 2025Updated 9 months ago
- Using OpenLayers with Skypack☆13Aug 22, 2022Updated 3 years ago
- This is a Mirror for https://bitbucket.org/geckofx/geckofx-45.0/src/default/ To update it to a newer Version☆12May 31, 2018Updated 8 years ago
- Arduino sketch for 10 DoF AHRS using the MMC5983MA magnetometer☆13Sep 14, 2020Updated 5 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.
- stl container for numba☆15Apr 15, 2025Updated last year
- Locally Linear Embedding for Regression - Journal of Chemometrics 2015☆11Aug 5, 2015Updated 10 years ago
- Geospatial provides abstractions for dealing with geographical locations efficiently.☆14Sep 9, 2019Updated 6 years ago
- douyin like☆11Nov 15, 2021Updated 4 years ago
- ☆18Apr 23, 2026Updated 3 months ago
- This is a read-only mirror of the CRAN R package repository. randomForestSRC — Fast Unified Random Forests for Survival, Regression, an…☆10Apr 19, 2026Updated 3 months ago
- HoTT Note-taking action☆25Mar 24, 2019Updated 7 years ago
- Create your own regional PMTiles with OpenStreetMap!☆14Updated this week
- Code for Earth Observation for official statistics workshops 2018☆12Apr 4, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Graphic User Interface for Deep learning to make it used easily，让深度学习算法触手可及、一键调用☆19Sep 4, 2022Updated 3 years ago
- Flutter plugin to show/hide the iPhone X home indicator.☆15Jul 12, 2022Updated 4 years ago
- A simple library to detect user's attention on page☆13Dec 11, 2022Updated 3 years ago
- ruby binding for MiniSat, which is an open-source SAT solver☆18Oct 10, 2025Updated 9 months 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
- git-buildnumber provides a way to generate standardized build numbers from a git repository.☆24Mar 21, 2026Updated 4 months ago
- Free applicative functors for PureScript☆26Apr 29, 2022Updated 4 years ago