Projects in Awesome Lists tagged with cutstrings
A curated list of projects in awesome lists tagged with cutstrings .
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/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
Last synced: 23 Feb 2026