Projects in Awesome Lists tagged with locality

https://github.com/thanglequoc/vietnamese-provinces-database

A complete SQL dataset of Vietnamese administrative units, includes Vietnamese provinces, districts and wards

database dataset districts locality provinces vietnam vietnamese wards

Last synced: 12 Jan 2026

https://github.com/open-mpi/hwloc

Hardware locality (hwloc)

c hardware hpc locality topology

Last synced: 09 Feb 2026

https://github.com/sunshine-tech/VietnamProvinces

Library to provide list of Vietnam administrative divisions (tỉnh thành, quận huyện, phường xã)

administrative locality made-in-vietnam vietnam

Last synced: 14 Apr 2025

https://github.com/ibm/spnl

Span Queries: What if we had a way to plan and optimize GenAI like we do for SQL?

generative-ai kvcache locality optimization sql

Last synced: 19 Feb 2026

https://github.com/inaciovasquez2020/cycle-local-rigidity

Cycle-Local Rigidity — locality-based rigidity from cycle structure; executable witnesses and proofs of local-to-global obstruction.

cycle-local-rigidity cycles formal-methods formal-verification graph-theory invariants lean4 locality mathlib reproducible-research rigidity-theory unified-rigidity-framework

Last synced: 26 Apr 2026

https://github.com/inaciovasquez2020/overlap-rigidity-counterexamples

Unified Capacity–Locality Problem (UCLP): a formal decision framework for bounded locality, information capacity, and progress accounting in polynomial-time computation. Includes the canonical CutStrings benchmark and URF-ADMISSIBLE criteria.

benchmarks capacity-locality complexity-theory computational-complexity cutstrings entropy-depth foundations-of-computation information-theory locality theoretical-computer-science unified-rigidity-framework urf-admissible

Last synced: 04 Apr 2026

https://github.com/inaciovasquez2020/capacity-locality-certification

Capacity–Locality Certification — executable certification framework validating systems against capacity bounds and locality constraints.

capacity-locality certification executable-certificates formal-methods information-theory locality reproducible-research unified-rigidity-framework verification

Last synced: 04 Apr 2026

https://github.com/inaciovasquez2020/rank-dichotomy-cat0

Rank Dichotomy Theorem for CAT(0) Cube Complexes (canonical)

computational-complexity formal-methods formal-verification information-theory invariants lean4 locality mathlib reproducible-research rigidity-theory unified-rigidity-framework

Last synced: 04 Apr 2026

https://github.com/inaciovasquez2020/final-wall-conditional-index

Index of all conditional dependencies in the Final Wall program

finite-model-theory fo4 graph-theory locality reproducibility weisfeiler-leman wl2 wl3

Last synced: 04 Apr 2026

https://github.com/inaciovasquez2020/owc-counterexamples

Canonical counterexamples and boundary constructions for OWC-style rigidity and capacity–locality claims. Includes explicit witnesses, verification scripts, and documented failure modes to delineate admissible vs. non-admissible regimes.

capacity-locality certification complexity-theory counterexamples entropy-depth fo-k formal-methods information-theory locality reproducible-research rigidity verification

Last synced: 12 Apr 2026

https://github.com/inaciovasquez2020/overlap-rigidity-lean

Unified Capacity–Locality Problem (UCLP): a decision framework for bounded locality, bounded information injection, and valid progress accounting in polynomial-time computation. Includes the canonical CutStrings benchmark and URF-ADMISSIBLE predicate.

benchmarks capacity-locality complexity-theory computational-complexity cutstrings entropy-depth foundations-of-computation information-theory locality unified-rigidity-framework urf-admissible