#
contracts
Here are 877 public repositories matching this topic...
A set of abstractions extracted out of the Symfony components
php symfony component abstractions standards dev interoperability contracts decoupling interfaces symfony-component
-
Updated
Apr 18, 2026 - PHP
TypeScript Interface for Ethereum
-
Updated
Apr 22, 2026 - TypeScript
An embedded scheme interpreter in Rust
-
Updated
Apr 23, 2026 - Rust
Creusot helps you prove your code is correct in an automated fashion.
rust proof verification rust-lang formal-methods contracts formal-verification deductive-reasoning why3
-
Updated
Apr 22, 2026 - Rust
An analysis tool for Python that blurs the line between testing and type systems.
python testing static-analysis symbolic-execution fuzzing dynamic-analysis z3 contracts hacktoberfest testing-framework concolic-execution type-systems
-
Updated
Apr 20, 2026 - Python
The reference implementation of the ERC-721 non-fungible token standard.
ethereum smart-contracts contract standard tokens token contracts implementation eth hacktoberfest erc721 non-fungible erc-721
-
Updated
Aug 10, 2022 - Solidity
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
python testing validation interface functional-programming linter decorators typing property-based-testing flake8 refinement-types pythonic contracts-programming contracts invariant hacktoberfest mypy dbc design-by-contract deal
-
Updated
Nov 30, 2025 - Python
🏝 automated contract testing via type checking for Elixir functions and mocks
testing mock unit-testing typechecker elixir contract behaviour contracts type-checking mocks contract-testing behaviours typechecking dialyzer mox type-checker typespec behaviour-typespec typespecs explicit-contracts
-
Updated
Jul 26, 2025 - Elixir
A signable contract that lives in a single file
-
Updated
Feb 15, 2025 - PHP
Contracts repository for The Graph protocol
-
Updated
Apr 22, 2026 - Solidity
Smart Legal Contracts & Templating System
legal parse templates ethereum blockchain hyperledger contracts cicero corda legaltech clause smartcontracts tezos accord-project legal-templates digital-asset cicero-engine
-
Updated
Apr 22, 2026 - JavaScript
币安风格开源数字资产交易。比特币交易所 | BTC交易所 | 交易所源码 | 开源交易所 | 波厂交易所 | TRC20交易所 面向二次开发与快速交付。支持现货、杠杆、U 本位/币本位合约、资产与运营模块，提供多语言能力，可按需进行品牌定制与后端接口对接
-
Updated
Apr 22, 2026 - 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.js/3863-Open+Source/18749-DOkwufulueze-eth-vue], this Truffle Box provides everything you need to quickly build Ethereum dApps that have authentic…
boilerplate vuejs ethereum dapp blockchain truffle vuex vue-components vue-router ethereum-contract contracts web3 ethereum-dapp truffle-framework eth-vue vuex-persist
-
Updated
Feb 4, 2023 - JavaScript
Next generation full-stack boilerplate for ink! smart contracts running on PolkaVM.
rust typescript frontend backend nextjs dapp smart-contracts blockchain rust-lang cargo contracts ink next substrate polkadot tailwind tailwindcss polkadot-js substrate-node openbrush
-
Updated
Dec 12, 2025 - TypeScript
Influential papers in decentralized systems (cryptocurrencies, contracts, consensus, etc.)
-
Updated
Feb 7, 2018
Improve this page
Add a description, image, and links to the contracts topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the contracts topic, visit your repo's landing page and select "manage topics."