home.social

#fstarlang — Public Fediverse posts

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

fetched live
  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
  2. Mark Gritter @[email protected] ·

    One thing I'm coming to appreciate about #LiquidHaskell is that lazy execution simplifies the handling of code whose only purpose is to generate a needed type (like a lemma.) In #FStarLang these are explicitly "ghost" functions which don't appear in the generated code. In Haskell, if you don't use the value, it just doesn't get executed!

    #fstarlang #liquidhaskell