Projects in Awesome Lists tagged with rigidity
A curated list of projects in awesome lists tagged with rigidity .
https://github.com/ssc-maire/asymptoticdirectionscalculator-public
Python library containing tools for calculating asymptotic directions and vertical cut-off rigidities.
asymptotic earth geomagnetic magnetocosmics physics rigidity space trajectory
Last synced: 10 Mar 2026
https://github.com/inaciovasquez2020/flagship-lean
Lean4 flagship repository for the Unified Rigidity Framework. Canonical module layout, invariant-first design, and CI-stable proof skeletons used across URF projects.
complexity formal-verification invariants lean lean4 logic mathlib proof-assistant rigidity theoretical-computer-science urf
Last synced: 07 Mar 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-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/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/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