tangentforks/elixir
Elixir is a dynamic, functional language designed for building scalable and maintainable applications
Public GitHub Catalog
Discovered Nov 2, 2026
tangentforks / FourColorTheorem
Gonthier's formal proof of the 4-color theorem, in Coq.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#48717738GitHub System ID
tangentforksOrganization / User
PublicVisibility
ActiveCatalog Status
More from tangentforks
tangentforks/fuego
Ascii Fire Effect Demo in Elixir
tangentforks/sgb
the stanford graphbase, by donald knuth
tangentforks/kroz
The KROZ series (of text-mode arcade adventures for DOS) by Scott Miller