Projects in Awesome Lists tagged with ramsey
A curated list of projects in awesome lists tagged with ramsey .
https://github.com/jeromegamez/ramsey-uuid-normalizer
Symfony Normalizer and Denormalizer for ramsey/uuid
normalizer php ramsey ramsey-uuid serializer symfony
Last synced: 14 Feb 2026
https://github.com/basemax/ramseynumbergraph
The research about Ramsey Number based on Python.
python python2 python27 python3 python36 ramsey ramsey-number-program ramsey-numbers ramsey-numbers-program ramsey-python ramsey-theorem ramsey-theory research research-and-development research-data research-data-repository research-paper research-project research-software-engineering research-tool
Last synced: 05 May 2025
https://github.com/basemax/ramseynumber
The research about Ramsey Number based on C.
c c-ramsey c-ramsey-number c-research ramsey ramsey-c ramsey-number-program ramsey-numbers ramsey-numbers-program ramsey-program ramsey-property ramsey-theory research research-and-development research-data research-data-repository research-paper research-project research-software-engineering research-tool
Last synced: 05 May 2025
https://github.com/basemax/ramseynumberresearchdata
A archive repository for a research about colorize the Graphs.
graph ramsey ramsey-data ramsey-number-program ramsey-numbers ramsey-numbers-program ramsey-theory research research-and-development research-archive research-backup research-data research-data-repository research-file research-files research-paper research-project
Last synced: 08 Aug 2025
https://github.com/basemax/ramseynumbers
A research repository about the Ramsey numbers and explore the new data in the mathematics field to write an article using One Programming Language.
one one-lang one-language one-ramsey onelang ramsey ramsey-number-program ramsey-numbers ramsey-numbers-program ramsey-one ramsey-program ramsey-property ramsey-theory research research-data research-data-repository research-paper research-project research-tool search
Last synced: 31 Aug 2025
https://github.com/coq-community/almost-full
Coq development of almost-full relations, including the Ramsey Theorem, useful for proving termination [maintainer=@palmskog]
coq docker-coq-action nix-action paper-artifacts ramsey termination
Last synced: 17 Mar 2025
