Candidate-bound memory-safety assurance for unsafe-to-safe Rust compatibility ports
-
Updated
Oct 18, 2026 - Rust
Candidate-bound memory-safety assurance for unsafe-to-safe Rust compatibility ports
Evidence-native version control for agentic software development. Content-addressed immutable objects with intent, claims, evidence, residuals, semantic indexing, Git-carried exchange rollups, native sync, and an agent query protocol.
To associate your repository with the gemel topic, visit your repo's landing page and select "manage topics."