Block or report user

Popular repositories

  1. rust-redex

    Forked from nikomatsakis/rust-redex

    A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety

    Racket 6

  2. POP-REU-Project

    C 4 3

  3. Swarm-AI---Zombies

    FInal project for CSSE 453

    Python 3

  4. Multi-Agent-AI-Music-Composition

    Senior Thesis at Rose-Hulman

    Haskell 1

  5. rust

    Forked from rust-lang/rust

    a safe, concurrent, practical language

    Rust 1

  6. patina-proof

    Proofs about Patina, the Rust formalization

    Agda 1 2

0 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub


anasazi has no activity yet for this period.

Seeing something unexpected? Take a look at the GitHub profile guide.