2 search results for "author:"Jonathan Protzenko <jonathan.protzenko@gmail.com>""

  1. karamel
    Documentation
    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 1 other packages
    05 Apr 2023
  2. kremlin
    Documentation
    Virtual package for the kremlin package now renamed into karamel. Can be safely uninstalled
    Jonathan Protzenko <jonathan.protzenko@gmail.com>
    transition
    Apache-2.0
    Used by 0 other packages
    05 Apr 2023