Skip to content
View EperezOk's full-sized avatar
🎯
Focusing
🎯
Focusing

Highlights

  • Pro

Organizations

@OpenZeppelin @code-423n4

Block or report EperezOk

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
EperezOk/README.md

Pinned Loading

  1. multiverse-finance multiverse-finance Public

    Implementation of Paradigm's Multiverse Finance paper built on the Conditional Tokens Framework by Gnosis.

    Solidity

  2. minimal-evm-fuzzer minimal-evm-fuzzer Public

    A minimal smart contract fuzzer written in Rust 🦀

    Rust 7

  3. soliditish-compiler soliditish-compiler Public

    A compiler for a language to create smart contracts, that is transpiled to Solidity. It is written in C + Flex/Bison.

    C

  4. formal-verification-imp formal-verification-imp Public

    Converting imperative programs into SMT formulas and formally verifying properties with Z3.

    Haskell 1

  5. amm-contracts amm-contracts Public

    Simple Automatic Market Maker based on Uniswap v1 contracts

    Solidity 3 1

  6. 64bit-shell-OS 64bit-shell-OS Public

    64 bit shell operating system for OS course @ ITBA

    C 1