anasazi

Pinned Repositories

distr_sys_proj
Language:C++00
KennySync
Paxos implementation in Ruby (Advanced Databases project)
Language:Ruby00
Multi-Agent-AI-Music-Composition
Senior Thesis at Rose-Hulman
Language:Haskell1 2 00
patina-proof
Proofs about Patina, the Rust formalization
Language:Agda42
POP-REU-Project
Language:C32
rust
a safe, concurrent, practical language
Language:Rust1 2 00
rust-redex
A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
Language:Racket7 2 00
RustActors
An Actor library for Rust, and the associated research documents going into it.
Language:Rust00
start-compiler
Compiler for CSE 501
Language:Haskell0 2 00
Swarm-AI---Zombies
FInal project for CSSE 453
Language:Python3 4 00

anasazi's Repositories

anasazi/rust-redex
A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
Language:Racket7 2 00
anasazi/patina-proof
Proofs about Patina, the Rust formalization
Language:Agda42
anasazi/POP-REU-Project
Language:C32
anasazi/Swarm-AI---Zombies
FInal project for CSSE 453
Language:Python3 4 00
anasazi/Multi-Agent-AI-Music-Composition
Senior Thesis at Rose-Hulman
Language:Haskell1 2 00
anasazi/rust
a safe, concurrent, practical language
Language:Rust1 2 00
anasazi/distr_sys_proj
Language:C++00
anasazi/KennySync
Paxos implementation in Ruby (Advanced Databases project)
Language:Ruby00
anasazi/RustActors
An Actor library for Rust, and the associated research documents going into it.
Language:Rust00
anasazi/start-compiler
Compiler for CSE 501
Language:Haskell0 2 00
anasazi/VCP
Version Control Paradigms project