home.social

#fstar — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #fstar, aggregated by home.social.

  1. Jan :rust: :ferris: @[email protected] ·

    HACL*, a formally verified cryptographic library written in F*

    github.com/hacl-star/hacl-star

    #FStar #FStarLang #Cryptography #FormalVerification

    #fstar #fstarlang #cryptography #formalverification