4 search results for "author:"Jonathan Protzenko""

Showing 1 - 4
  1. fstar

    No documentation

    2022.01.15
    Apache-2.0
    Used by 2 other packages
    27 Jan 2022
  2. karamel

    No documentation

    A compiler from Low*, a low-level subset of F*, to C
    1.0.0
    Apache-2.0
    Used by 1 other packages
    05 Apr 2023
  3. kremlin

    No documentation

    Virtual package for the kremlin package now renamed into karamel. Can be safely uninstalled
    transition
    Apache-2.0
    Used by 0 other packages
    05 Apr 2023
  4. 0.2.1
    ISC
    Used by 9 other packages
    01 Sep 2016