Aether-Lang: Rust runtime for topological ML — manifold embeddings, persistent homology, Lean 4 verified kernel.
-
Updated
Nov 4, 2026 - Rust
#
verified-systems
Here are 3 public repositories matching this topic...
Formal research on semantic continuity across hardware generations: checked realizations, fail-closed compatibility, and reusable proof evidence.
semantics embedded-systems refinement formal-methods formal-verification compiler-design verified-systems hardware-abstraction lean4 legacy-systems systems-research
-
Updated
Oct 7, 2026 - Python
Independent research lab technology for infrastructure, education and finance to leverage exponential development and engineering at national scale
edtech fintech verified-systems independent-research applied-research open-infrastructure reseach-data care-delivery reseach-lab
-
Updated
Oct 29, 2026 - TypeScript
Add this topic to your repo
To associate your repository with the verified-systems topic, visit your repo's landing page and select "manage topics."