Contracts

Steel is an embeddable Scheme interpreter written in Rust that implements a bytecode virtual machine with R5RS compliance and module system support....

Creusot is a deductive verifier for Rust that proves code correctness by detecting panics, overflows, and assertion failures, with optional contract...

Viem is a TypeScript interface for Ethereum that provides abstractions over JSON-RPC APIs, first-class smart contract interaction, and type-safe...

CrossHair is a symbolic execution and property-based testing tool for Python that uses SMT solvers to automatically find counterexamples to annotated...

SuiteCRM is an open-source, enterprise-ready CRM platform built on PHP, MySQL, and Apache, designed for organizations seeking full control over their...

Symfony HttpClient Contracts provides a set of PHP interfaces and abstractions for HTTP client implementations, extracted from the Symfony framework...

Symfony Cache Contracts provides a set of PHP interface abstractions for caching, extracted from the Symfony framework to enable decoupling and...

Symfony Deprecation Contracts provides a single global function `trigger_deprecation()` that emits silenced deprecation notices in a standardized way...

Symfony Translation Contracts provides a set of abstract interfaces and contracts extracted from the Symfony framework that define the semantics of...

Symfony EventDispatcher Contracts provides a standardized set of PHP interfaces and abstractions for event dispatching, extracted from the broader...

Symfony Contracts provides a curated set of PHP interfaces, traits, and reference test suites extracted from Symfony components, enabling loose...

Symfony Service Contracts provides a set of generic PHP abstractions and interfaces extracted from Symfony components, enabling developers to...