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

Hardware locality (hwloc)

Pluto: An automatic polyhedral parallelizer and locality optimizer

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

Rust bindings to Open MPI Portable Hardware Locality "hwloc" library, covering version 2.0 and above.

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

HPC Affinity Tracker (HPCAT) is designed to showcase NUMA, CPU core, NIC and GPU affinities in the context of High Performance Computing (HPC) applications.

Java wrappers for the Hardware Locality (hwloc) library

Fast, lightweight, software development tool.

List of localities in Haiti

Exploring CPU optimization of ALU-bound code through counting

[PPoPP '25 (Poster)][ICDE '25] Frontier-guided Graph Reordering

fast and simple locality-sensitive hashing implemented in (numba + numpy)

This map illustrates the extent of the settlement locality, suco boundaries database. Click on the map to receive more information about individual point objects on the map. Demonstration of thematic layers at CAMSTL Timor-Leste Audiovisual Archive Localhost server. Refer to data source notes for additional information. [ Metadata 18-02-2001 - 15-03-2021 ].

Recursive law learning under measurement constraints. A falsifiable SQNT-inspired testbed for autodidactic rules: internalizing structure under measurement invariants and limited observability.

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.

Index of all conditional dependencies in the Final Wall program

Terminal Rigidity Witness (ERB) — executable certificates demonstrating terminal rigidity and no-escape obstructions under bounded locality and capacity.

Terminal obstruction (Cyclone) for locality-bounded computation: overlap-rank BOM, AKR CPD₁ kernel, entropy-depth lower bounds, and Lean formalization toward P≠NP.

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

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

OnDeLoc-MPI implementation on OpenMPI

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.

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

Proof of concept software tool using a system architechture which optimizes for locality of reference.

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.

Search Suco name - Measure Settlements overlay - Maps Tools

Bell Inequality Violations from Non-Injective Projection

Data (entity) Component management system software architecture library

Repo for my work