Makers/cryspen
cryspen

cryspen

High Assurance Software & Tools

1projects466total stars1Claude commitsMember since Apr 2, 2026

Projects (1)

cryspen/hax

A Rust verification tool

46667Rust4mo ago1 Claude commits