Antonio-Cruciani / DREG-DynamicRandomExpanderGenerator Star 7 Code Issues Pull requests Dynamic random expander graphs generator random-graphs p2p-network random-graph-generation dynamic-random-networks expanders dynamic-expanders Updated Mar 27, 2024 Python
HamidrezaKmK / twice-ramanujan-sparsifiers Star 4 Code Issues Pull requests An implementation and report of the twice Ramanujan graph sparsifiers. graphs sparsification ramanujan expanders semi-definite-programming Updated Dec 23, 2022 Jupyter Notebook
inaciovasquez2020 / cyclone-terminal-obstruction Star 1 Code Issues Pull requests Terminal obstruction (Cyclone) for locality-bounded computation: overlap-rank BOM, AKR CPD₁ kernel, entropy-depth lower bounds, and Lean formalization toward P≠NP. entropy information-theory logic proof-assistant locality lean kernel-methods formal-verification computational-complexity p-vs-np expanders rigidity finite-model-theory ef-games Updated Feb 21, 2026 Lean