contracts topic
constexpr-contracts
Pre-conditions, post-conditions, and assertions, all available at compile-time
hammox
🏝 automated contract testing via type checking for Elixir functions and mocks
advanced-region-market
A Bukkit/Spigot plugin for renting/selling WorldGuard regions
ethdeploy
A complex deployment facility for Ethereum smart-contract development.
awesome-decentralized-papers
Influential papers in decentralized systems (cryptocurrencies, contracts, consensus, etc.)
Introducing-Ethereum-and-Solidity
Programming examples from the book.
CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
clevis
🗜️Ethereum blockchain orchestration, testing, and command line interface.
deal
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
eth-vue
Featured in Awesome Vue [https://github.com/vuejs/awesome-vue], a curated list maintained by vuejs of awesome things related to the Vue.js framework, and Awesome List [https://awesomelists.net/150-Vue...