An analysis tool for Python that blurs the line between testing and type systems.
-
Updated
Apr 11, 2025 - Python
An analysis tool for Python that blurs the line between testing and type systems.
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
Secure Electronic Voting using Azure Blockchain
A python 3 library providing functions and decorators to automatically generate class code, such as constructor body or properties getters/setters along with optional support of validation contracts on the generated setters. Its objective is to reduce the amount of copy/paste code in your classes - and hence to help reducing human mistakes :).
Symphony Fintech XTS API Instrument / Contract Masters CSV's.
A tiny web3/python alternative to interact with any ethereum compatible blockchain
Инструмент для планирования перевозок, построения планов изготовления модулей, кораблей, отслеживания процесса выполнения контрактов.
One-Click Legal-Swarm-Template
Master Thesis
Genon is a generator of nonlinear preferences for intelligent artificial agents.
Ethereum ICO smart contracts and tools for managing token sales
Provider-side demo using consumer-driven contract testing
Collection of reusable contracts and libraries I use in contracts I write.
Consumer-side demo using contract driven development
A smart contract programming language built for human readability and simplicity
Helper to create a compatibility layer between inputs in different formats and other parts of an application
⭐️ ETH-BSC Web3 bot 2022-V1 (MAC WINDOWS ANDROID LINUX) ⭐️ AUTO BUY TOKEN ON LAUNCH AFTER ADD LIQUIDITY ⭐️ First SNIPER BOT for MAC & ANDROID & WINDOWS with honeypot detector ⭐️
Add a description, image, and links to the contracts topic page so that developers can more easily learn about it.
To associate your repository with the contracts topic, visit your repo's landing page and select "manage topics."