miyamok's repositories
epsilonproofchecker
Proof assistant for Hilbert style proof systems including predicate calculus and epsilon calculus
blockexplorer
Project Ethereum Block Explorer, Alchemy University Ethereum development bootcamp
Language:JavaScript000
ecdsa-node
ECDSA Node, Alchemy University Ethereum development bootcamp
escrow-hardhat
Project for Alchemy University Ethereum Course
Language:JavaScript000
ethereum-org-website
Ethereum.org is a primary online resource for the Ethereum community.
Language:MarkdownMIT000
GiftList
Gifts under the Merkle Tree
Language:JavaScript000
react-mega-tutorial
React Mega-Tutorial by Miguel Grinberg
Language:HTML000
reentrancy
Demonstrating the reentrancy attack in various smart contract programming languages such as Solidity, Vyper, Plutus, and Move.
000
smartcontract-verification
Formal verification tool for Solidity
Language:Haskell000
verified-epsilon-elimination
formally verified epsilon elimination procedure