tangentforks/FourColorTheorem external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

tangentforks/FourColorTheorem

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/tangentforks/FourColorTheorem)

Close

tangentforks / FourColorTheoremView on GitHubMore

• External links
• Readme badge

Gonthier's formal proof of the 4-color theorem, in Coq.

☆11Dec 29, 2015Updated 10 years ago

Alternatives and similar repositories for FourColorTheorem

Users that are interested in FourColorTheorem are comparing it to the libraries listed below

• kefirski / attentive-translation

  View on GitHub
  pytorch Transformer model with byte-pair encoding
  ☆11Jan 7, 2018Updated 8 years ago
• google / mipsqa

  View on GitHub
  ☆26Sep 24, 2017Updated 8 years ago
• vlopezj / coq-course

  View on GitHub
  Coq course at Chalmers CSE
  ☆39Jul 3, 2017Updated 8 years ago
• akleemans / fourcolors

  View on GitHub
  An interactive, visual demonstration of the four color theorem.
  ☆27Oct 19, 2021Updated 4 years ago
• imperialhopfield / hopfield

  View on GitHub
  hopfield
  ☆30Oct 8, 2021Updated 4 years ago
• deep-spin / OpenNMT-entmax

  View on GitHub
  ☆14May 14, 2019Updated 6 years ago
• sfja / sfja

  View on GitHub
  SoftwareFoundations(Ja)
  ☆70Oct 5, 2019Updated 6 years ago
• thedeepchecker / thedeepchecker

  View on GitHub
  TheDeepChecker: Dynamic Debugger for Neural Networks Training Programs
  ☆10Nov 2, 2022Updated 3 years ago
• j5ik2o / wallet-akka

  View on GitHub
  ☆11Dec 15, 2023Updated 2 years ago
• dpiponi / Legendre

  View on GitHub
  Some notes on the relationship between the Legendre and Fourier transforms
  ☆11Dec 18, 2025Updated 2 months ago
• todesking / typeclass_map

  View on GitHub
  ☆10Mar 15, 2019Updated 6 years ago
• noncepool / cpuminer-yescrypt

  View on GitHub
  CPU miner for Litecoin and Bitcoin
  ☆10Dec 24, 2014Updated 11 years ago
• shuojiangcn / AutoTRIZ-Repository

  View on GitHub
  ☆13Apr 9, 2025Updated 10 months ago
• taisukeoe / scalikejdbc-on-android

  View on GitHub
  ScalikeJDBC demo on Android SQLite.
  ☆10May 6, 2015Updated 10 years ago
• stz2012 / recfsusb2n

  View on GitHub
  KTV-FSUSB2/FSPCIEをLinuxで使う為の録画ツール（STZ版）
  ☆11Mar 24, 2016Updated 9 years ago
• sustcsonglin / disco-pointer

  View on GitHub
  Official Implementation of ACL2023: Don't Parse, Choose Spans! Continuous and Discontinuous Constituency Parsing via Autoregressive Span …
  ☆14Aug 25, 2023Updated 2 years ago
• jrudolph / sbt-hackers-digest

  View on GitHub
  An sbt plugin to create annotations for the Github UI when sbt is run in Github Actions
  ☆12Oct 10, 2025Updated 4 months ago
• speedcell4 / torchrua

  View on GitHub
  Manipulate tensors with PackedSequence and CattedSequence
  ☆12Jan 4, 2026Updated last month
• purescript-node / purescript-node-buffer

  View on GitHub
  Type declarations for Node's Buffer class
  ☆10Jul 5, 2023Updated 2 years ago
• adhigunasurya / distillation_parser

  View on GitHub
  Distillation of Ensemble Dependency Parsers into a Single Graph-Based Parser
  ☆11Oct 14, 2016Updated 9 years ago
• mikeshulman / Coq-HoTT

  View on GitHub
  Homotopy type theory
  ☆14Sep 21, 2022Updated 3 years ago
• iesl / s-diora

  View on GitHub
  ☆12Jan 29, 2021Updated 5 years ago
• grzegorznowak / ansible-nvm-node

  View on GitHub
  Ansible role: global nvm node
  ☆13Aug 8, 2024Updated last year
• alirezameskin / phony

  View on GitHub
  Fake data generator
  ☆11Jul 29, 2020Updated 5 years ago
• xuwei-k / zeroapply

  View on GitHub
  zero cost Apply/Applicative syntax
  ☆13Updated this week
• SoftwareFoundationGroupAtKyotoU / SystemFg

  View on GitHub
  Implementation of Polymorphic Gradual Typing
  ☆12Sep 16, 2018Updated 7 years ago
• dpom / nlp-tools

  View on GitHub
  Tools for Natural Language Processing
  ☆12Feb 16, 2018Updated 8 years ago
• mratsim / haskell-numbertheory

  View on GitHub
  Exploration of primes, factorization and number theory through haskell
  ☆10Oct 10, 2016Updated 9 years ago
• foursquare / scala-zookeeper-client

  View on GitHub
  A ZooKeeper client library in Scala.
  ☆21Apr 17, 2013Updated 12 years ago
• Dementophobia / string-art

  View on GitHub
  A collection of string art portraits I've created, including the making-of and infos about my current projects.
  ☆12Dec 29, 2019Updated 6 years ago
• jcristovao / newtype-generics

  View on GitHub
  A typeclass and set of functions for working with newtypes.
  ☆10May 19, 2022Updated 3 years ago
• StewPoll / Slack-File-Deleter

  View on GitHub
  Deletes old files from slack teams. Useful for free times
  ☆10Sep 16, 2017Updated 8 years ago
• shaunduncan / packer-provisioner-host-command

  View on GitHub
  Packer plugin to run shell like provisioning on the host machine
  ☆35Oct 6, 2015Updated 10 years ago
• aws-samples / multi-region-data-residency

  View on GitHub
  Example multi-region application with data residency. Suitable for global and regulated businesses.
  ☆12Dec 1, 2023Updated 2 years ago
• RainbowRoad1 / Manim_projects

  View on GitHub
  My manim projects
  ☆12Sep 10, 2021Updated 4 years ago
• genmon / lares

  View on GitHub
  A simple AI agent controlling a simulation of a smart home
  ☆13Jun 13, 2024Updated last year
• jonsafari / habeas-corpus

  View on GitHub
  Command-line corpus tools
  ☆12May 15, 2017Updated 8 years ago
• pi8027 / efficient-finfun

  View on GitHub
  ☆13Nov 23, 2019Updated 6 years ago
• SapienzaNLP / srl4e

  View on GitHub
  ☆11Aug 2, 2022Updated 3 years ago