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

Showing 1 - 4
  1. fstar
    Documentation
    Verification system for effectful programs
    Nik Swamy <nswamy@microsoft.com> Jonathan Protzenko <protz@microsoft.com> Tahina Ramananandro <taramana@microsoft.com>
    2026.03.24
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  2. 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
    Added to opam-repository
  3. 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
    Added to opam-repository
  4. process
    Documentation
    Easy process control
    process subprocess command system
    David Sheets Jonathan Protzenko
    0.2.1
    ISC
    Used by 8 other packages
    Added to opam-repository