anasazi/patina-proof
Proofs about Patina, the Rust formalization
Public GitHub Catalog
Discovered Sep 24, 2026
anasazi / Swarm-AI---Zombies
FInal project for CSSE 453
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.
#1309922GitHub 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