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

Showing 1 - 2
  1. karamel

    No 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

    No 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