#

expanders

Here are 2 public repositories matching this topic...

Antonio-Cruciani / DREG-DynamicRandomExpanderGenerator

Dynamic random expander graphs generator

random-graphs p2p-network random-graph-generation dynamic-random-networks expanders dynamic-expanders

Updated Mar 27, 2024
Python

inaciovasquez2020 / chronos-urf-rr

Flagship executable URF/Chronos implementation with verified build and test surface

reproducible-research information-theory verification graph-theory chronos urf reference-implementation formal-verification sat computational-complexity complexity-theory expanders lean4 rigidity unified-rigidity-framework rigidity-theory entropy-depth

Updated Aug 14, 2026
Python

Improve this page

Add a description, image, and links to the expanders topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the expanders topic, visit your repo's landing page and select "manage topics."