msprotz - Overview

View msprotz's full-sized avatar

Jonathan Protzenko (defunct account, use @protz now) msprotz

Please use @protz from here on! This is a now-defunct account for my contributions as a Microsoft (MS) employee from 2014 to 2025.

Block or report msprotz

Popular repositories Loading

  1. Tentative write-up of a neat trick used in the Mezzo type-checker

    TeX 15 1

  2. Forked from FStarLang/FStar

    An ML-like language with a type system for program verification

    OCaml 1

  3. Forked from ocaml/opam-repository

    Main public package repository for OPAM, the source package manager of OCaml.

    Shell 1

  4. Forked from microsoft/TypeScript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

    JavaScript