Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with complexity-theory

A curated list of projects in awesome lists tagged with complexity-theory .

https://github.com/giggleliu/problemreductions.jl

Reduction between computational hard problems.

complexity-theory problem-reduction

Last synced: 19 Jul 2025

https://github.com/michaelwehar/p-vs-np-community

This repository was setup to help people who believe that they solved the P vs NP problem and to help the people who review proposed solutions.

complexity-theory computational-complexity millennium-problems non-determinism p-vs-np polynomial-time unsolved-problems

Last synced: 19 Mar 2026

https://github.com/serengti/theo_inf

Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart

automata-theory complexity-theory computability-theory formal-languages theoretical-computer-science

Last synced: 24 Jan 2026

https://github.com/fractaldevteam/principia-fractalis

Principia Fractalis: Fractal Resonance Ontology. A 1000+ page work exploring how mathematics, consciousness, and physical reality connect through a unified structure. Formally triple-verified in Lean 4, Coq, and L4L

complexity-theory consciousness-and-neuroscience coq coq-formalization formal-verification fractal lean4 mathematics millennium-problems ontology proof-assistant spectral-theory theoretical-physics turing-machine

Last synced: 03 Mar 2026

https://github.com/francoisschwarzentruber/reductioncatalog

Catalog of reductions between different decision problems (SAT, 3SAT, Graph coloring, etc.)

complexity-theory reduction theoretical-computer-science

Last synced: 19 Feb 2026

https://github.com/inaciovasquez2020/urf-wl2-obstruction

Deterministic WL³-style sampling and collapsed obstruction witness for URF (CI-safe, format-robust).

cfi complexity-theory deterministic-sampling graph-isomorphism obstruction rigidity urf weisfeiler-leman wl3

Last synced: 04 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/urf-minimal-obstruction

Certified minimal obstructions for graph and inference baselines under the Unified Rigidity Framework (URF).

certificates complexity-theory counterexamples graph-theory rigidity spectral-graph-theory weisfeiler-leman

Last synced: 04 Apr 2026

https://github.com/inaciovasquez2020/urf-reductions-sat-csp

Reductions between URF problems, SAT, and CSP formulations — proof sketches and formal templates.

complexity-theory computational-theory csp formalizations logic reductions sat

Last synced: 04 Apr 2026

https://github.com/inaciovasquez2020/vasquez-docs

Documentation portal for research artifacts, proofs, and formalization notes by Inacio Vasquez.

complexity-theory computability documentation formal-verification geometry logic proofs research

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/smirnovlad/schedulingproblem

Analysis of the scheduling problem

complexity-theory python

Last synced: 17 Jun 2025

https://github.com/sandokansaruhan/master-theory-math

This is a simple App about Complexity Theory in computer science by enlightening of @Nayuki.

calculator calculator-application complexity complexity-theory javascript math mathematics theorem

Last synced: 05 Jul 2025

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

https://github.com/inaciovasquez2020/urf-roadmap

Roadmap and reduction status tracker for the Unified Rigidity Framework (URF).

complexity complexity-theory mathematical-framework rigidity roadmap unified-rigidity-framework urf

Last synced: 04 Apr 2026