Skip to content
View shiatsumat's full-sized avatar
121 followers · 95 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Highlights

  • Pro

Organizations

@hopv

Block or report shiatsumat

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Pinned Loading

  1. hopv/rust-hornhopv/rust-hornPublic

    RustHorn: A CHC-based automated verifier for Rust

    SMT 89

  2. hopv/nolahopv/nolaPublic

    Nola: Later-Free Ghost State for Verifying Termination in Iris

    Rocq Prover 9 1

  3. wiwinwlh-jpwiwinwlh-jpPublic

    What I Wish I Knew When Learning Haskell 日本語訳

    119 5

  4. fp-papersfp-papersPublic

    関数型プログラミングに関する論文の非公式日本語訳

    25

  5. hopv/velhopv/velPublic

    Vel: A language for verified low-level software

    Rust 15