1 search result for "author:"Jonathan Protzenko <jonathan.protzenko@gmail.com>""

  1. kremlin
    A compiler from Low*, a low-level subset of F*, to C
    Jonathan Protzenko <jonathan.protzenko@gmail.com>
    1.0.0
    Apache-2.0
    Used by 0 other packages
    Last published 03 Feb 2022