Skip to content
View hmijail's full-sized avatar
🤔
Wondering whether Microsoft will turn GitHub into another LinkedIn mess
🤔
Wondering whether Microsoft will turn GitHub into another LinkedIn mess
39 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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only 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/evm-dafny Consensys/evm-dafny Public

    An EVM interpreter in Dafny

    Dafny 131 9

  3. codewitness codewitness Public

    Forked from Consensys/codewitness

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

    Java

  4. announce-zoom-chat-messages announce-zoom-chat-messages Public

    Announce new chat messages during a Zoom call.

    JavaScript 1 1

  5. userthreads userthreads Public

    Threads implemented on userland with C/POSIX - no assembler

    C 6

  6. eth-isabelle eth-isabelle Public

    Forked from mmalvarez/eth-isabelle

    A Lem formalization of EVM and some Isabelle/HOL proofs

    Isabelle