Skip to content
View hmijail's full-sized avatar
🏠
Working from home
🏠
Working from home
37 followers · 0 following

Achievements

Achievement: QuickdrawAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: QuickdrawAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report hmijail

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. darum darum Public

    Dafny Resource Usage Measurement

    Python

  2. Consensys-Incorporated/evm-dafny Consensys-Incorporated/evm-dafny Public

    An EVM interpreter in Dafny

    Dafny 141 9

  3. codewitness codewitness Public

    Forked from Consensys-inc-archive/codewitness

    Code Merklization and other approaches to reducing the code contribution to witness size

    Java

  4. userthreads userthreads Public

    Threads implemented on userland with C/POSIX - no assembler

    C 6

  5. eth-isabelle eth-isabelle Public

    Forked from mmalvarez/eth-isabelle

    A Lem formalization of EVM and some Isabelle/HOL proofs

    Isabelle

  6. ObsSyncBugHunt ObsSyncBugHunt Public

    A semantic fuzzer to find bugs in Obsidian Sync as a distributed system

    TypeScript