Skip to content


Verification system for effectful programs

Good first issues

See all
F* Updated May 21, 2019
HACL*, a formally verified cryptographic library written in F*

Good first issues

Assembly Updated May 20, 2019
Enables your consumer driven contracts workflow
Ruby Updated May 21, 2019
You can’t perform that action at this time.