contracts - 技术专题
相关标签
Here are 1,051 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
Jul 27, 2026 - PHP
TypeScript Interface for Ethereum
- Updated
Jul 27, 2026 - TypeScript
Generic abstractions related to dispatching event
php symfony abstractions standards interoperability contracts decoupling interfaces symfony-contracts
- Updated
Jun 27, 2026 - PHP
Generic abstractions related to writing services
php symfony abstractions standards interoperability contracts decoupling interfaces symfony-contracts
- Updated
Jul 27, 2026 - PHP
Generic abstractions related to translation
php symfony abstractions standards interoperability contracts decoupling interfaces symfony-contracts
- Updated
Jun 27, 2026 - PHP
An embedded scheme interpreter in Rust
- Updated
Jul 27, 2026 - Rust
Generic abstractions related to caching
php symfony abstractions standards interoperability contracts decoupling interfaces symfony-contracts
- Updated
Jun 27, 2026 - PHP
A generic function and convention to trigger deprecation notices
- Updated
Jun 27, 2026 - PHP
Generic abstractions related to HTTP clients
php symfony abstractions standards interoperability contracts decoupling interfaces symfony-contracts
- Updated
Jun 27, 2026 - PHP
Creusot helps you prove your Rust code is correct.
rust proof verification rust-lang formal-methods contracts formal-verification deductive-reasoning why3
- Updated
Jul 27, 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
Jul 27, 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 24, 2026 - Elixir
A signable contract that lives in a single file
- Updated
Feb 15, 2025 - PHP
Vera: a programming language designed for LLMs to write
programming-language algebraic-effects parser webassembly verification contracts formal-verification llm
- Updated
Jul 27, 2026 - Python
Contracts repository for The Graph protocol
- Updated
Jul 25, 2026 - Solidity