Packagist48Weakhealth index
PHP★ 2,365↓ 9M/moAug 27, 2026
Packagist48Weakhealth index
PHP★ 3,413↓ 19.1M/moAug 27, 2026
Go · crates.io47Weakhealth index
Rust★ 0Sep 19, 2026

CharlesCNorton/touchstoneAn SMT-based verifier and type inferencer for Python: proves contracts, equivalence, and trap-freedom (with counterexamples) over a Rocq trust base.
Python★ 8↓ 1,266/moSep 9, 2026
Packagist47Weakhealth index
PHP★ 2,100↓ 29.5M/moOct 20, 2026
TypeScript · JavaScript★ 26↓ 259/moSep 16, 2026
JavaScript★ 1↓ 815/moSep 13, 2026
JavaScript★ 0↓ 5,215/moOct 14, 2026
Packagist35Weakhealth index
PHP★ 0↓ 6,775/moSep 23, 2026
JavaScript★ 0↓ 5,558/moOct 14, 2026
PHP★ 1↓ 8,474/moSep 13, 2026
PHP★ 0↓ 7,357/moSep 13, 2026
PHP★ 0↓ 2,018/moAug 23, 2026
PHP★ 0↓ 11.6K/moSep 13, 2026
TypeScript★ 0↓ 461/moSep 9, 2026
PHP★ 636↓ 2.3M/moSep 18, 2026
PHP★ 10↓ 727.7K/moSep 12, 2026