Skip to content
View mirryi's full-sized avatar
🦀
🦀
45 followers · 61 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Organizations

@hazelgrove @stogacs @binpash

Block or report mirryi

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
mirryi/README.md

Eric Zhao

PhD Student @ Brown University

Pinned Loading

  1. hazelgrove/hazel hazelgrove/hazel Public

    Hazel, a live functional programming environment with typed holes

    Reason 1.1k 67

  2. wikichan wikichan Public archive

    A WebExtension and userscript that displays information from Wikipedia and other sources in a popup for the hovered text.

    TypeScript

  3. hazelgrove/error-localization-agda hazelgrove/error-localization-agda Public

    Mechanization of the marked lambda calculus, a judgmental framework for total bidirectional type error localization and recovery.

    Agda 4

  4. hermit hermit Public

    Static information flow control for Rust via dynamic epistemic logic.

    Rust 1

  5. dotfiles dotfiles Public

    Dotfiles for my Linux machines.

    Shell

  6. fplab/grove-agda fplab/grove-agda Public

    Mechanization of Grove, a collaborative structured editing calculus

    Agda 1