bamboo
ethcontracts
Our great sponsors
bamboo | ethcontracts | |
---|---|---|
1 | 1 | |
322 | 4 | |
- | - | |
10.0 | 2.4 | |
about 2 years ago | about 1 year ago | |
OCaml | TypeScript | |
Apache License 2.0 | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
bamboo
-
A look into formal verification of smart contracts using Certora
Understanding a smart contract as a finite-state machine (obligatory mention to Yoichi's bamboo, my favorite smart contract programming language that never happened) allows us to define clear rules on:
ethcontracts
What are some alternatives?
LiquidityPoolExample - Example Certora verification for a simple multi-contract system
PokeCard-NFT - Decentralized platform where users can create, buy, sell, and view unique Pokémon card NFTs (non-fungible tokens). Built on the Ethereum blockchain, this marketplace allows to collect Pokémon cards with the added benefits of blockchain technology
nextjs-dapp-starter-ts - A fullstack monorepo template to develop ethereum dapps
NFT-Marketplace-DApp - CS 48001: Special Topics in CS: Blockchain: Security and Applications Course project implemented by Cavit Cakir, Kaya Kapagan, Gorkem Kose, Gokberk Yar
next-web3-boilerplate - Slightly opinionated Next.js Web3 boilerplate built on ethers, web3-react, Typechain, and SWR.
augur - Augur v2 - Prediction Market Protocol and Client
eth-faucet - 💸 Get testnet Ether (ETH) to troubleshoot your DApp before going live 🚀