Skip to content
View zchn's full-sized avatar
🌴
On vacation
🌴
On vacation
39 followers · 6 following

Achievements

Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Block or report zchn

Report abuse

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

Report abuse
zchn/README.md
  • 👋 Hi, I’m @zchn

Pinned Loading

  1. ethereum-analyzer ethereum-analyzer Public

    An Ethereum contract analyzer.

    Haskell 19 6

  2. eth-acl2 eth-acl2 Public

    An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.

    Common Lisp 3 3

  3. keystone-enclave/keystone keystone-enclave/keystone Public archive

    Keystone Enclave (QEMU + HiFive Unleashed)

    C 539 172