contracts-programming
Here are 36 public repositories matching this topic...
从以太坊区块链 (Ethereum Blockchain) etherscan 上抓取任意一个钱包地址的所有token信息 (Address, Name, Balance, Symbol, Value),并编写界面进行展示。
-
Updated
May 14, 2024 - Dart
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.
-
Updated
May 13, 2024 - TypeScript
Contract programming for C++
-
Updated
Apr 15, 2024 - C++
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
-
Updated
Mar 24, 2024 - Python
Second semester programming course at CT ITMO: Java, JavaScript, Clojure.
-
Updated
Feb 18, 2024 - Java
A toy project. Attempt to use dynamic nature of Python to implement programming by contract.
-
Updated
Jul 8, 2023 - Python
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.
-
Updated
Jul 7, 2023 - Java
redux helper tool to abstract action and reducer with getDefaultState and updaters.
-
Updated
May 29, 2023 - TypeScript
A Design by contract library for Haxe.
-
Updated
Aug 9, 2022 - Haxe
Design by Contract framework for PHP
-
Updated
Mar 14, 2022 - PHP
Lightweight Self-Documenting Design by Contract Programming and Security Hardened mode.
-
Updated
Jan 26, 2022 - Nim
Minimal contracts library
-
Updated
Oct 24, 2021 - C++
C++ tools to assist with "programming by contract"
-
Updated
Aug 27, 2021 - C++
D-inspired contract programming in Rust using macros
-
Updated
Jul 6, 2021 - Rust
The C# integration testing library for self-initializing fakes and contract testing with MongoDB.
-
Updated
Feb 7, 2021 - C#
An implementation of a reactive GR(1) contract
-
Updated
Nov 13, 2020 - Python
Improve this page
Add a description, image, and links to the contracts-programming topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the contracts-programming topic, visit your repo's landing page and select "manage topics."