League URI Interfaces

从以太坊区块链 (Ethereum Blockchain) etherscan 上抓取任意一个钱包地址的所有token信息 (Address, Name, Balance, Symbol, Value)，并编写界面进行展示。

CrowdFundChain is a decentralized crowdfunding platform built on blockchain technology. Empower users to create and support campaigns for various causes transparently and securely. Features include campaign creation, donation tracking, user campaign listings, and more.

Contract programming for C++

🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

Second semester programming course at CT ITMO: Java, JavaScript, Clojure.

Contracts for Python

A toy project. Attempt to use dynamic nature of Python to implement programming by contract.

An Spanish Air Traffic Control game where players control airplanes using the mouse to land them on a runway. Built in Java Swing, the project follows the MVP architecture, leveraging multithreading and concurrency for enhanced performance and realism.

redux helper tool to abstract action and reducer with getDefaultState and updaters.

A Design by contract library for Haxe.

Design by Contract framework for PHP

Lightweight Self-Documenting Design by Contract Programming and Security Hardened mode.

Minimal contracts library

C++ tools to assist with "programming by contract"

D-inspired contract programming in Rust using macros

Java contract library based on AspectJ

The C# integration testing library for self-initializing fakes and contract testing with MongoDB.

An implementation of a reactive GR(1) contract

Simple backup utility