1. 12
    ZetZ is a Formally Verified Dialect of C c formalmethods rust infoq.com
    Sietsebb avatar via Sietsebb 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
    1. 2
      andyc avatar andyc 4 years ago

      Hm this looks pretty cool… I like that it can integrate into existing C/C++ codebases.

      https://github.com/zetzit/zz

      It seems like more general purpose version of https://github.com/google/wuffs , which is meant for parsing.

    🇬🇧 The UK geoblock is lifted, hopefully permanently.