#contracts (21 Repositories)
Ranked open-source repositories tagged with #contracts, scored by pull request acceptance likelihood and maintainer engagement velocity.
21.4%
16.7h
21 repositories tagged #contracts
creusot-rs/creusot
Creusot helps you prove your Rust code is correct.
aallan/vera
Vera: a programming language designed for LLMs to write
traverse-framework/traverse
Contract-driven runtime for portable business capabilities — spec-governed, WASM-first, composable across browser, edge, cloud, and AI.
mattwparas/steel
An embedded scheme interpreter in Rust
wevm/viem
TypeScript Interface for Ethereum
graphprotocol/contracts
Contracts repository for The Graph protocol
msz/hammox
🏝 automated contract testing via type checking for Elixir functions and mocks
pschanely/CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
LexPredict/lexpredict-lexnlp
LexNLP by LexPredict
poanetwork/solidity-flattener
Utility to combine Solidity project to a flat file
Web3CoinExchange/WalletExchange
2026版币安风格开源数字资产交易。比特币交易所 | BTC交易所 | 交易所源码 | 开源交易所 | 波厂交易所 | TRC20交易所 面向二次开发与快速交付。支持现货、杠杆、U 本位/币本位合约、资产与运营模块，提供多语言能力
symfony/service-contracts
Generic abstractions related to writing services
symfony/translation-contracts
Generic abstractions related to translation
symfony/deprecation-contracts
A generic function and convention to trigger deprecation notices
symfony/http-client-contracts
Generic abstractions related to HTTP clients
CodeforDAO/contracts
Solidity smart contracts of CodeforDAO
symfony/event-dispatcher-contracts
Generic abstractions related to dispatching event
symfony/contracts
A set of abstractions extracted out of the Symfony components
nibbstack/erc721
The reference implementation of the ERC-721 non-fungible token standard.
life4/deal
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
symfony/cache-contracts
Generic abstractions related to caching