#

differential-topology

Here are 6 public repositories matching this topic...

JairMathAI / PynamicMesh

Tool-box for modeling, analyse and characterize spatial-temporal dynamic on triangular meshes.

computer-vision topology physics computer-graphics modeling algebraic-topology differential-geometry simulations biological-data-analysis simulation-modeling topological-data-analysis computational-topology differential-topology diferential-equations

Updated Sep 14, 2026
Python

sneed-and-feed / lean-theorems-3

lean theorems

mathematics combinatorics arithmetic-progression mathlib spectral-graph-theory regularity gauge-theory lean4 additive-combinatorics differential-topology hodge-theory mirror-symmetry metric-geometry expander-graphs

Updated Sep 3, 2026
Lean

VishvasRanjan / Exploring-Smooth-Manifold-using-SageMath

This repository contains a SageMath‐based exploration of differential topology concepts on the 2‐sphere.

manifold sagemath differential-topology 2-sphere

Updated Jun 17, 2025
Jupyter Notebook

macawi-ai / macawi-ai

Defensive AI infrastructure using differential topology to absorb attack variety. Building antifragile security systems.

security-automation threat-intelligence ai-security antifragile differential-topology defensive-ai cybernetic-defense

Updated Jul 28, 2025
Shell

Xiaoshuo-Lin / 4D-Klein-Sliced

Code for visualizing hyperplane sections of the embedded Klein bottle in 4D.

binder topology julia pluto morse-theory klein-bottle differential-topology

Updated Jan 14, 2026
Julia

MMV-Lab / PynamicMesh

Tool-box for modeling, analyze and characterize spatial-temporal dynamic on triangular meshes.

computer-vision topology physics computer-graphics modeling algebraic-topology differential-geometry simulations biological-data-analysis simulation-modeling topological-data-analysis computational-topology differential-topology diferential-equations

Updated Sep 14, 2026
Python

Add this topic to your repo

To associate your repository with the differential-topology topic, visit your repo's landing page and select "manage topics."