anasazi/patina-proof
Proofs about Patina, the Rust formalization
Public GitHub Catalog
Discovered Sep 28, 2026
anasazi / rust
a safe, concurrent, practical language
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#11483972GitHub 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/start-compiler
Compiler for CSE 501