(Terminating) hylomorphisms in Coq
-
Updated
Jan 30, 2026 - TeX
#
hylomorphisms
Here are 5 public repositories matching this topic...
A framework for Systems Verification of categories, Theories and Meta Theories in Lean, Rocq, C# and F#.
csharp fsharp dotnet coq theorem-proving type-theory category-theory dotnet-core cosmos monoids formal-verification topos-theory groupoids applied-category-theory topos metatheory hylomorphisms lean4 monoidal-categories rocq
-
Updated
Oct 17, 2025 - C#
Annotated tables from the Nuremberg Chronicle, fol. Ir to VIIr.
astronomy moon cosmology solar-system plato metaphysics cicero ptolemy septuaginta yle philosophy-of-mind aristotle medieval-manuscripts hylomorphisms planets-orbiting greek-philosophy renaissance-literature nuremberg-chronicle medieval-philosophy astral-plane
-
Updated
Aug 22, 2026 - HTML
Annotated transcriptions from the Nuremberg Chronicle, fol. Ir to VIIr.
astronomy philosophy cosmology plato metaphysics cicero ptolemy septuaginta yle philosophy-of-mind aristotle medieval-manuscripts hylomorphisms mirandola greek-philosophy renaissance-literature nuremberg-chronicle medieval-latin medieval-philosophy ptolemaic-system
-
Updated
Sep 12, 2026 - HTML
An unforced, asynchronous 3D Navier-Stokes & Euler operator engine implementing runtime verification of finite-time blow-up attractors in Sobolev spaces, bypasses Python's lack of Tail-Call Optimization (TCO), eliminates heap allocation churn, and delivers deterministic O(1) space complexity for infinite data streams and complex PDEs.
euler neural-network pytorch category-theory asyncio asynchronous-programming navier-stokes euler-equations computational-fluid-dynamics runtime-verification spectral-methods galerkin-method pytorc navier-stokes-equations hylomorphisms navier-stokes-characteristic-boundary-condition navier-stokes-equations-simulation navier-stokes-equation navier-stokes-fluid-dynamics-mathematics
-
Updated
Sep 9, 2026 - Python
Add this topic to your repo
To associate your repository with the hylomorphisms topic, visit your repo's landing page and select "manage topics."