Erdos-Graph-Framework / Erdos Star 127 Code Issues Pull requests Modular and modern graph-theory algorithms framework in Java java algorithms graph-algorithms graph-theory dijkstra shortest-paths bfs topological-sort dfs-algorithm floyd-warshall erdos prim-algorithm graph-engine Updated Aug 27, 2023 Java
0bserver07 / erdos-navigator Star 2 Code Issues Pull requests A toolkit for AI agents to explore and attempt ErdΕs's 1,179 unsolved mathematical problems theorem-proving mathematics erdos open-problems ai-agents lean4 llm-agents claude-code Updated Feb 9, 2026 Python
SproutSeeds / erdos-problems Star 1 Code Issues Pull requests Discussions CLI and workspace for Paul Erdos problems. cli research theorem-proving graph-theory combinatorics agents number-theory erdos open-problems sunflower Updated Apr 25, 2026 JavaScript
navjeet-py / Erdos Star 0 Code Issues Pull requests Erdos-SDSLabs solutions using Python (Mostly) python mathematics erdos sdslabs Updated Mar 24, 2023 Python
krashish8 / Online-Judge-Solutions Star 0 Code Issues Pull requests Solutions of various online judges euler project-euler cpp codeforces erdos Updated Jun 7, 2019 C++
MendozaLab / erdos-experiments Star 0 Code Issues Pull requests Computational experiments for ErdΕs-style combinatorial conjectures python computational-mathematics combinatorics erdos open-problems Updated May 8, 2026 Rust