anasazi/patina-proof
Proofs about Patina, the Rust formalization
Developer Profile
anasazi
Discovered public repositories for anasazi in the GitHub catalog.
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
anasazi/start-compiler
Compiler for CSE 501
anasazi/Multi-Agent-AI-Music-Composition
Senior Thesis at Rose-Hulman
anasazi/POP-REU-Project
Public repository.
anasazi/Swarm-AI---Zombies
FInal project for CSSE 453