Popular repositories Loading

1. DD-FP DD-FP Public

   DD-FP source code (core modules included): Level-BFS kernel, IBI driver, and reproducibility scripts for all main experiments.

   Python 1

2. Cubical-normality Cubical-normality Public

   Checks cubical normality conditions for embedded 3D voxel complexes and generates structured, deterministic certificates.

   Python 1

3. Static-PWC-Inheritance-Theory Static-PWC-Inheritance-Theory Public

   Static inheritance theory for preserving point-wise well-composedness in cubical complexes, with formal proofs and verification code.

   Python 1

4. incidence-based-local-surface-classification incidence-based-local-surface-classification Public

   Verification companion for "Incidence-Based Local Surface Classification in Cubical Complexes"

   Python

5. shortest-bridge-repair-dynamics shortest-bridge-repair-dynamics Public

   Finite data and verification scripts for Exact Stabilization and Local Decision Structure in Shortest-Bridge Repair Dynamics.

   Python

6. topology-preserving-wc-repair topology-preserving-wc-repair Public

   Python