Star FStarLang / FStar Verification system for effectful programs F* 1,991 185 Built by 1 stars today
Star project-everest / everparse Automated generation of provably secure, zero-copy parsers from format specifications F* 97 2 Built by 0 stars today