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
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
Language:Python000
verified-epsilon-elimination
formally verified epsilon elimination procedure