Makers/cryspen
cryspen

cryspen

High Assurance Software & Tools

1projects416total stars1Claude commitsMember since Apr 2, 2026

Projects (1)

cryspen/hax

A Rust verification tool

44760OCaml2mo ago1 Claude commits