#
contracts
Here are 1,095 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
Aug 4, 2026 - PHP
TypeScript Interface for Ethereum
-
Updated
Aug 5, 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
Aug 4, 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
Aug 4, 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
Aug 5, 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
Aug 2, 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
Aug 3, 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
Aug 5, 2026 - Python
Contracts repository for The Graph protocol
-
Updated
Aug 4, 2026 - Solidity
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."