anasazi/patina-proof
Proofs about Patina, the Rust formalization
Public GitHub Catalog
Discovered Sep 24, 2026
anasazi / POP-REU-Project
Public repository discovered through GitHub real-time crawl.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#2018716GitHub System ID
anasaziOrganization / User
PublicVisibility
ActiveCatalog Status
More from anasazi
anasazi/RustActors
An Actor library for Rust, and the associated research documents going into it.
anasazi/rust-redex
A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
anasazi/rust
a safe, concurrent, practical language