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 - 1…

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

PARQ is an automatic parallelization engine based on Skolem Function Synthesis and Quantified Invariant Generation. It is aimed at parallelization of array modifying programs written as Constrained Horn Clause (CHC) formulas.

Index of all conditional dependencies in the Final Wall program

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.

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.