Comprehensive SQL and GIS datasets for Vietnamese administrative units, including provinces, districts, wards, and geospatial boundaries.
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?
Tra cứu thuế TNCN Việt Nam 2026 chính xác với hệ thống AI hỗ trợ quy trình quyết toán, tính thuế cho cá nhân, freelancer và người nước ngoài.
Fast, lightweight, software development tool.
List of localities in Haiti
[PPoPP '25 (Poster)][ICDE '25] Frontier-guided Graph Reordering
Exploring CPU optimization of ALU-bound code through counting
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.
Decentralized Commerce Feynman Diagram Model - Whitepaper v1.2 (CN & EN)
OnDeLoc-MPI implementation on OpenMPI
SQL-like query builder for IndexedDB with chainable API
Add a description, image, and links to the locality topic page so that developers can more easily learn about it.
To associate your repository with the locality topic, visit your repo's landing page and select "manage topics."