michael-orenda/general-ledger
Audit-grade, append-only General Ledger for Laravel 12 with strict accounting invariants, period locking, and sub-ledger integration.
时间：2025-12-17 08:14
roave/strict-php
A strict runtime type and invariant checker for developing safer PHP applications
时间：2015-06-26 18:26
hediet/contracts
A library which helps to specify, check and reflect code contracts.
时间：2015-03-08 21:19
nunzion/php-expect
An expressive but lightweight library to validate preconditions and invariants.
时间：2013-05-12 19:20