anasazi/patina-proof
Proofs about Patina, the Rust formalization
Public GitHub Catalog
Discovered Sep 29, 2026
anasazi / RustActors
An Actor library for Rust, and the associated research documents going into it.
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.
#16528276GitHub System ID
anasaziOrganization / User
PublicVisibility
ActiveCatalog Status
More from anasazi
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
anasazi/start-compiler
Compiler for CSE 501