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

Repository of benchmarks to evaluate Solidity Smart contract analysis tools

Vera: a programming language designed for LLMs to write

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 :).

[Released] Core Node of Bismuth - The first Python blockchain protocol and platform

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

Инструмент для планирования перевозок, построения планов изготовления модулей, кораблей, отслеживания процесса выполнения контрактов.

The “swiss knife” CLI for agile DevOps teams. Keep backlog, specs, tests, and code in sync. Greenfield + brownfield with SDD/TDD/contracts.

Master Thesis

Genon is a generator of nonlinear preferences for intelligent artificial agents.

Ethereum Mixer is a decentralized tool designed to enhance privacy in Ethereum transactions. It allows users to obscure their identities by blending their funds with those of others, effectively preventing unauthorized tracking of their activities on the blockchain.

Design by Contract with Functional Programming

Provider-side demo using consumer-driven contract testing

Consumer-side demo using contract driven development

Detect changes in multiple Terms and Conditions webpages. Get alerts of changes via email, Asana task creation and Google Drive download of the changed Terms and Conditions. This demo uses Thieves REST API and Webhooks.