OpenZeppelin Contracts is a library for secure smart contract development.
Repository Index
47,133 repositories indexed
1–24 of 66 · Most stars
Contracts of the Sismo Badge Minting Protocol
Solidity contracts implementing hash based post quantum signatures
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Framework for serverless Decentralized Applications using Ethereum, IPFS and other platforms
Polkadot's ink! to write smart contracts.
A collection of practical security-focused guides and checklists for smart contract development
⛓️ Reference Waves Blockchain Node (client) implementation on Scala
- blockchain
- cryptography
- smart-contracts
- decentralized-applications
WebAssembly Smart Contracts for the Cosmos SDK
- cosmos-sdk
- rust
- smart-contracts
- webassembly
Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.
- gno
- gnoland
- gnolang
- bft
Source code verification service for Ethereum smart contracts
- verification
- ethereum
- smart-contracts
- solidity
Full featured library for Ethereum interaction with the JSON RPC API in swift. Native ABI parsing and smart contract interactions.
Smart contracts which are formally verified
A pure swift Ethereum Web3 library
Sharing Updatable Models (SUM) on Blockchain
- blockchain
- ml
- ai
- economics
A guide to EOS smart contract security best practices
Write, test and deploy high-quality smart contracts to the Stacks blockchain and Bitcoin.
- blockchain
- smart-contracts
- clarity
- clarinet
Algorand Smart Contracts in Python
Go implementation of Waves node, libraries and tools for Waves blockchain
- blockchain
- cryptography
- decentralized-applications
- smart-contracts
Python-based EOS smart-contract development & testing framework
- eos
- smart-contracts
- python
- unit-testing
⚡A curated list of awesome resources related to the Ⱥlgorand Blockchain ⛓
- awesome
- awesome-list
- algorand
- algorand-blockchain
The repository host gives no description.
- eos
- java
- api-wrapper
- smart-contracts
Integrated Ethereum implementation and tool suite focused on Solidity testing and development.
A framework for smart contract verification in Coq
- blockchain
- coq
- smart-contracts
- verification