Wesley Ma's repositories
solidity-to-dafny
Verifying Solidity smart contracts via translation to Dafny
snes-input-display
Input Display for iBuffalo USB SNES controller for Linux
Verifying Solidity smart contracts via translation to Dafny
Input Display for iBuffalo USB SNES controller for Linux