S

smart contract

Todo list web3 application using solidity, ether.js, react, hardhat

https://www.saveukrainianfolk.org/

Backend of the Generator

Generator that generates Smart Contracts using the contract library

Frontend of the Generator

These are implementations of multiple smart contracts from https://eips.ethereum.org/ that will be merged into one by the generator.

Sample Solidity project - Truffle framework, ERC-721 NFT, data migration, extensive testing + truffle-assertions.

Live and die, a second every second.

Formally verified cryptocurrency smart contracts using game semantics in Coq