The efficient SMT-based context-bounded model checker (ESBMC)
-
Updated
May 20, 2024 - C
The efficient SMT-based context-bounded model checker (ESBMC)
Colony Network smart contracts
The road to Ethereum advancement.
EtherAuthority creates smart contracts including: DeFi, NFT, DAO, Metaverse, Gaming, DEX, Launchpad, L1 Blockchain, Escrow, Cross-chain Bridge, and many more.
EtherAuthority secures web3 including: DeFi, NFT, DAO, Metaverse, Gaming, DEX, Launchpad, L1 Blockchain, Escrow, Cross-chain Bridge, and many more.
A DApp built on Ethereum blockchain using solidity for managing shipments
Solidity parser in Go, designed to transform Solidity code into a structured format for enhanced analysis, particularly beneficial for developers using Go to analyze Solidity smart contracts.
backend for Rimba NFT Store
Rain orderbook libraries, subgraph and contract implementation.
我最近在重新学solidity,巩固一下细节,也写一个“WTF Solidity极简入门”,供小白们使用,每周更新1-3讲。Now supports English! 官网: https://wtf.academy
krypt web3 app
All in one reference library for solidity, foundry, etc.,
A Simple NFT/GameFi Project On Ether Chain
Smart contracts for Wenwin: decentralized and trustless games on the blockchain
Smart contracts of RigoBlock v3
VoicePassport 🎤is an innovative authentication system leveraging voice recognition technology, blockchain ⛓️ security, and vector databases 📊 for robust and seamless user verification.
ERC-223 token standard reference implementation.
piggy bank , time-locked for two and half month
Исчерпывающее wiki от разработчиков смарт-контрактов для разработчиков смарт-контрактов и не только. Оно будет полезно разработчикам и другим членам команды быстрее понять сложные темы перед решением реальных задач.
Add a description, image, and links to the solidity-contracts topic page so that developers can more easily learn about it.
To associate your repository with the solidity-contracts topic, visit your repo's landing page and select "manage topics."